Cell(TheField)

cyldec.spad line 174 [edit on github]

• TheField : RealClosedField

undocumented

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

dimension : % -> NonNegativeInteger

dimension(c) returns dimension of c

hasDimension? : (%, Symbol) -> Boolean

hasDimension?(c) returns true if c is of positive dimension. Otherwise hasDimension?(c) returns false.

mainVariableOf : % -> Symbol

mainVariableOf(c) returns main variable of c

makeCell : List(SimpleCell(TheField, SparseUnivariatePolynomial(TheField))) -> %

makeCell(lc) creates a cell from list of simple cells lc

makeCell : (SimpleCell(TheField, SparseUnivariatePolynomial(TheField)), %) -> %

makeCell(c, sc) creates a cell which consists of sc in main variable and which has projection c

projection : % -> Union(%, "failed")

projection(c) projects c with respect to main variable

samplePoint : % -> List(TheField)

samplePoint(c) returns the sample point of c

simpleCells : % -> List(SimpleCell(TheField, SparseUnivariatePolynomial(TheField)))

simpleCells(c) returns lists of simple cells determining c. That is c = makeCell(simpleCells(c))

variablesOf : % -> List(Symbol)

variablesOf(c) returns list of variables of c

CoercibleTo(OutputForm)