CASA Function: tsolve
Compute a triangularized representation.
Calling Sequence:
 B := tsolve(A)
 B := tsolve(A,vars)
Parameters:
 A : algset("impl")
 An algebraic set in implicit representation.
 vars : list(name)

Result:
 B : exprseq(algset("impl"))
 union of several algebraic sets
Description:
 The function splits an algebraic set in implicit form into the union of several algebraic sets which have a triangulized representation. The order of the variables in the variable list of the algebraic set influences the result. In the representation of every output algebraic set there are polynomials in just the last variable and bivariate polynomials in the last two variables.
Examples:
> a:=mkImplAlgSet([1x+x*y^2+x*z^2,1y+y*x^2+y*z^2,1z+z*x^2+z*y^2],
> [x,y,z]);
> [tsolve(a,[x,y,z])];
See Also:
[CASA]
[[casa]]