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^2-4,x^2+z^2-4],[x,y,z]);
> [decompose(a1)];
> a2 := mkProjAlgSet([[u^2-2*v^2],[u,v,u-v]],[u,v]);
> [decompose(a2,"absolute")];
See Also:
[CASA]
[computeRadical]
[mkImplAlgSet]
[mkParaAlgSet]
[mkProjAlgSet]
[mkPlacAlgSet]