@@ -6954,8 +6954,8 @@ def affine_hull(self, as_polyhedron=None, as_affine_map=False,
6954
6954
if self .ambient_dim () == self .dim ():
6955
6955
result ['polyhedron' ] = self
6956
6956
if as_affine_map or return_all_data :
6957
- result ['linear_transformation ' ] = linear_transformation (matrix (self .base_ring (), self .dim (), self .dim (), self .base_ring ().one ()))
6958
- result [ 'shift' ] = self .ambient_space ().zero ()
6957
+ result ['affine_map ' ] = ( linear_transformation (matrix (self .base_ring (), self .dim (), self .dim (), self .base_ring ().one ())),
6958
+ self .ambient_space ().zero () )
6959
6959
6960
6960
elif orthogonal or orthonormal :
6961
6961
# see TODO
@@ -6980,11 +6980,12 @@ def affine_hull(self, as_polyhedron=None, as_affine_map=False,
6980
6980
A = M .gram_schmidt (orthonormal = orthonormal )[0 ]
6981
6981
if as_polyhedron :
6982
6982
result ['polyhedron' ] = Polyhedron (
6983
- [A * vector (A .base_ring (), v ) for v in Q .vertices ()],
6983
+ [A * vector (A .base_ring (), v )
6984
+ for v in self .translation (- v0 ).vertices ()],
6984
6985
base_ring = A .base_ring ())
6985
6986
if as_affine_map :
6986
- result [ 'linear_transformation' ] = linear_transformation (A , side = 'right' )
6987
- result ['shift ' ] = - A * vector (A .base_ring (), self .vertices ()[0 ])
6987
+ L = linear_transformation (A , side = 'right' )
6988
+ result ['affine_map ' ] = ( L , - A * vector (A .base_ring (), self .vertices ()[0 ]) )
6988
6989
6989
6990
else :
6990
6991
# translate one vertex to the origin
@@ -7017,7 +7018,7 @@ def pivot(indexed):
7017
7018
if return_all_data or (as_polyhedron and as_affine_map ):
7018
7019
return result
7019
7020
elif as_affine_map :
7020
- return result ['linear_transformation' ], result [ 'shift ' ]
7021
+ return result ['affine_map ' ]
7021
7022
else :
7022
7023
return result ['polyhedron' ]
7023
7024
0 commit comments