Home Online Manual
Back: arrCoordChange
Forward: arrCone
FastBack: algemodstd_lib
FastForward: brillnoether_lib
Up: arr_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.2.15 arrCoordNormalize

Procedure from library arr.lib (see arr_lib).

arrCoordChange(A, v);

[arr]: Arrangement after a coordinate change that transforms the arrangement such that after a tranformation x -> Tx + c we have the arrangement has the matrix representation [AT^-1|b+AT^-1c] such that [AT^-1]_v = I and [b+AT^-1c]_v = 0;

algorith performs a base change if H_k is homogenous (i.e. has no) constant term and an affine transformation otherwise
Ax+b = 0, Transformation x = Ty+c: AT^-1y + AT^-1c + b = 0 Now we want to have (AT^-1)_v = I and (AT^-1c +b)_v = AT^-1_v*c + b_v = 0

LIB "arr.lib";
ring r = 0,(x,y,z),lp;
arr A = ideal(x,y,z,x+z+4);
intvec v = 1,2,4;
==> _[1]=x
==> _[2]=y
==> _[3]=-x+z-4
==> _[4]=z
See also: arrCoordChange; arrCoordNormalize.