Home Online Manual
Back: arrCone
Forward: arrLocalize
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.17 arrDecone

Procedure from library arr.lib (see arr_lib).

arrDecone(A, k); arrangement A, integer k;

arr: the deconed hyperplane Arrangement dA

A has to be non-empty and central. arrDecone is an inverse operation to arrCone since A == arrDecone(arrCone(A),size(A)+1) for any A. One can also decone a central arrangement with respect to any hyper- plane k, but than a coordinate change is necessary to make H_k = ker(x_k). Since such a coordinate change is not unique, use arrCoordchange to do so.

LIB "arr.lib";
ring R = 0,(x,y,z),dp;
arr A= ideal(x,y,z,x+y-z);
==> _[1]=x
==> _[2]=y
==> _[3]=x+y-1
See also: arrCone; arrDecone; arrEssentialize; arrIsEssential; arrRestrict.