Glassvision/IfcOpenShell
1
0
Fork 0
mirror of https://github.com/IfcOpenShell/IfcOpenShell.git synced 2026-09-18 22:33:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix extruded void mirror in LAYER2 walls

Browse Source 
IfcExtrudedAreaSolid opening geometry must be transformed by the
wall-local Householder H applied numerically to opening-local coords
(T_geom = H), not the opening-local Householder R^T H R.  The
correct Position-local transform is placement_mat.T @ H @ placement_mat,
reusing H already computed for the placement conjugation.

Generated with the assistance of an AI coding tool.
This commit is contained in:
Ryan Schultz
2026-05-03 10:23:32 -05:00
parent 60a0411e96
commit 8cd797eeec
1 changed files with 28 additions and 33 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/bonsai/bonsai/bim/module/model/product.py
+28 -33
View File
@@ -880,54 +880,49 @@ class TrueMirrorElements(bpy.types.Operator, tool.Ifc.Operator):
continue continue
builder = ifcopenshell.util.shape_builder.ShapeBuilder(tool.Ifc.get()) builder = ifcopenshell.util.shape_builder.ShapeBuilder(tool.Ifc.get())
mirror_axes_2d = mirror_axes[:2] mirror_axes_2d = mirror_axes[:2]
num_flipped = sum(1 for v in mirror_axes_2d if v > 0.0)
for rep in opening.Representation.Representations: for rep in opening.Representation.Representations:
for item in rep.Items: for item in rep.Items:
if item.is_a("IfcExtrudedAreaSolid"): if item.is_a("IfcExtrudedAreaSolid"):
# Bypass builder.mirror for IfcExtrudedAreaSolid — its translate→mirror→ # H (wall-local Householder) is already computed above for the placement
# translate sequence can corrupt profile coordinates via IFC entity aliasing # mirror. Applying it as T_geom to opening-local coords is correct because:
# when Position.Location shares an IfcCartesianPoint with a profile vertex. # M_rel_new @ T_geom = H @ M_rel (the true geometric mirror)
# Direct negation avoids all aliasing. (Position assumed to have default / # with M_rel_new = H@R@H (conjugation) → T_geom = H (wall-local numerics
# identity orientation in practice.) # applied to opening-local coords). Conjugating into Position-local gives:
pos = list(item.Position.Location.Coordinates) # H_pos = placement_mat.T @ H @ placement_mat
for i, flip in enumerate(mirror_axes_2d[: len(pos)]): placement_mat = ifcopenshell.util.placement.get_axis2placement(item.Position)[:3, :3]
if flip > 0.0: H_pos = placement_mat.T @ H @ placement_mat
pos[i] = -pos[i]
item.Position.Location.Coordinates = tuple(pos)
# Mirror Position.Location (opening-local 3D point) by H
pos_coords = item.Position.Location.Coordinates
pos3 = np.array([pos_coords[0], pos_coords[1], pos_coords[2] if len(pos_coords) > 2 else 0.0])
pos3_new = H @ pos3
if len(pos_coords) > 2:
item.Position.Location.Coordinates = tuple(float(v) for v in pos3_new)
else:
item.Position.Location.Coordinates = (float(pos3_new[0]), float(pos3_new[1]))
# Mirror profile coords in Position-local via H_pos.
# H_pos is a reflection (det=-1) so winding must be reversed.
profile = item.SweptArea profile = item.SweptArea
for curve in [getattr(profile, "OuterCurve", None)]: for curve in [getattr(profile, "OuterCurve", None)]:
if curve is None: if curve is None:
continue continue
coords = builder.get_polyline_coords(curve) coords = builder.get_polyline_coords(curve)
for i, flip in enumerate(mirror_axes_2d[: coords.shape[1]]): coords3 = np.hstack([coords, np.zeros((len(coords), 1))])
if flip > 0.0: coords_new = (H_pos @ coords3.T).T[:, :2][::-1]
coords[:, i] = -coords[:, i] builder.set_polyline_coords(curve, coords_new)
if num_flipped % 2 == 1:
coords = coords[::-1]
builder.set_polyline_coords(curve, coords)
for inner in getattr(profile, "InnerCurves", None) or []: for inner in getattr(profile, "InnerCurves", None) or []:
coords = builder.get_polyline_coords(inner) coords = builder.get_polyline_coords(inner)
for i, flip in enumerate(mirror_axes_2d[: coords.shape[1]]): coords3 = np.hstack([coords, np.zeros((len(coords), 1))])
if flip > 0.0: coords_new = (H_pos @ coords3.T).T[:, :2][::-1]
coords[:, i] = -coords[:, i] builder.set_polyline_coords(inner, coords_new)
if num_flipped % 2 == 1:
coords = coords[::-1]
builder.set_polyline_coords(inner, coords)
placement_mat = ifcopenshell.util.placement.get_axis2placement(item.Position)[:3, :3] # Mirror ExtrudedDirection in Position-local via H_pos
dir_local = np.array(item.ExtrudedDirection.DirectionRatios) dir_local = np.array(item.ExtrudedDirection.DirectionRatios)
dir_opening = placement_mat @ dir_local dir_local_new = H_pos @ dir_local
for i, flip in enumerate(mirror_axes_2d):
if flip > 0.0:
dir_opening[i] = -dir_opening[i]
dir_local_new = np.linalg.inv(placement_mat) @ dir_opening
item.ExtrudedDirection.DirectionRatios = tuple(float(v) for v in dir_local_new) item.ExtrudedDirection.DirectionRatios = tuple(float(v) for v in dir_local_new)
else: else:
try: builder.mirror(item, mirror_axes_2d, create_copy=False)
builder.mirror(item, mirror_axes_2d, create_copy=False)
except Exception:
pass
def invert_general_object(self, element, mirror_axes=(1, 0, 0)): def invert_general_object(self, element, mirror_axes=(1, 0, 0)):
# ShapeBuilder.mirror works in 2D; use only the XY components # ShapeBuilder.mirror works in 2D; use only the XY components