CASA Function: decompose
Decomposition of an algebraic set into irreducible components.
Calling Sequence:
 s := decompose(A)
 s := decompose(A,absolute)
Parameters:
 A : algset

 absolute :

Result:
 s : exprseq
 The decomposition of an algebraic set into its irreducible components.
Description:
 The function decompose computes the decomposition of an algebraic set into its irreducible components.
 On default the decomposition is done over the rational numbers. The optional argument absolute only works for algebraic sets in projected form and performs the decomposition over the algebraic closure.
Examples:
> a1 := mkImplAlgSet([x^2+y^24,x^2+z^24],[x,y,z]);
> [decompose(a1)];
> a2 := mkProjAlgSet([[u^22*v^2],[u,v,uv]],[u,v]);
> [decompose(a2,"absolute")];
See Also:
[CASA]
[computeRadical]
[mkImplAlgSet]
[mkParaAlgSet]
[mkProjAlgSet]
[mkPlacAlgSet]