Top
Back: absPrimdecGTZ
Forward: sep
FastBack:
FastForward:
Up: primdec_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.28.21 absPrimdecGTZE

Procedure from library primdec.lib (see primdec_lib).

Usage:
absPrimdecGTZE(I); I ideal

Assume:
Ground field has characteristic 0.

Return:
a ring containing two lists: absolute_primes, the absolute prime components of I, and primary_decomp, the output of primdecGTZ(I). Will fail for unit ideal. The list absolute_primes has to be interpreted as follows: each entry describes a class of conjugated absolute primes,
 
   absolute_primes[i][1]   the absolute prime component,
   absolute_primes[i][2]   the number of conjugates.
The first entry of absolute_primes[i][1] is the minimal polynomial of a minimal finite field extension over which the absolute prime component is defined.
For local orderings, the result is considered in the localization of the polynomial ring, not in the power series ring. For local and mixed orderings, the decomposition in the corresponding global ring is returned if the string 'global' is specified as second argument

Note:
Algorithm of Gianni/Trager/Zacharias combined with the absFactorize command.

Example:
 
LIB "primdec.lib";
ring  r = 0,(x,y,z),lp;
poly  p = z2+1;
poly  q = z3+2;
ideal I = p*q^2,y-z2;
def S = absPrimdecGTZE(I);
==> 
==> // 'absPrimdecGTZ' created a ring, in which two lists absolute_primes (th\
   e
==> // absolute prime components) and primary_decomp (the primary and prime
==> // components over the current basering) are stored.
==> // To access the list of absolute prime components, type (if the name S w\
   as
==> // assigned to the return value):
==>         setring S; absolute_primes; 
setring S;
absolute_primes;
==> [1]:
==>    [1]:
==>       _[1]=a2+1
==>       _[2]=z-a
==>       _[3]=y+1
==>    [2]:
==>       2
==> [2]:
==>    [1]:
==>       _[1]=a3+2
==>       _[2]=z-a
==>       _[3]=y-za
==>    [2]:
==>       3
See also: absFactorize; primdecGTZ.


Top Back: absPrimdecGTZ Forward: sep FastBack: FastForward: Up: primdec_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.3.2, 2023, generated by texi2html.