CASA Function: mkPlacAlgSet

Creates an algebraic set represented by places.

Calling Sequence:

• A := mkPlacAlgSet(repr,v)
• A := mkPlacAlgSet(repr,v,attr)

Parameters:

repr : procedure

• powerseries giving the places of the algebraic set

v : list(name)

• variable

attr : list(equation)

• initial attributes

Result:

A : algset("plac")

• An algebraic set represented by places.

Description:

• The function works as an input interface to the datatype algebraic set. It takes as argument a list of power series or polynomials. The polynomials are also interpreted as power series and automatically converted to power series. They describe the places of the algebraic set around the point which they are centered.
• The second argument is a list of variables. It is given to distinguish from parameters.
• The output is an algebraic set which consists of a list of lists of procedures which compute the coefficients of the represented power series up to an arbitrary order.

Examples:

> s := powseries[powpoly](T,T)/powseries[powpoly](1-T,T):

> s := powseries[evalpow](s):

> setPuiseuxExpansion(11);

> A := mkPlacAlgSet([[T,T^8+T^10,s],[s,T^3,1]],[T]);

> A := mkPlacAlgSet([[T,T^8+T^10,s],[s,T^3,1]],[T],

> ["puiseuxTerms"=14]);

See Also: