class MONOMIAL{R} < $STR


Ancestors
$STR



Public


Readable Attributes
attr coeff: R;
****
attr power: MAP{CARD,INT};
**** map var_id to power

Writable Attributes
attr coeff: R;
****
attr power: MAP{CARD,INT};
**** map var_id to power

Readonly Shareds
shared TermOrder: STR:="degrevlex";
**** "lex", "degrex", "degrevrex"
shared r_0:R;
shared r_1:R;

Writable Shareds
shared TermOrder: STR:="degrevlex";
**** "lex", "degrex", "degrevrex"
shared r_0:R;
shared r_1:R;

Features
aget(id:CARD):INT
aget(s:STR):INT
aset(id:CARD,e:INT)
aset(s:STR, e:INT)
compare(m:SAME):INT
**** <=>: -1 if "<", 0 if "=", 1 if ">" .
copy:SAME
create(c:R): SAME
**** initialize(c,p={})
create:SAME
**** initialize(c=0,p={})
deglex(m:SAME):INT
degrevlex(m:SAME):INT
div(m:R):SAME
div(m:SAME):SAME
**** if ~is_divisible(m,false,false) then #ERR+"Not divisible.\n"; return copy; end;
gcd(other:SAME):SAME
**** gcd of power product
getTermOrder:STR
getTermOrders:ARRAY{STR}
**** acceptable order names
inspect:STR
**** coeff(var:var_id,degree)...
is_divisible(divisor:SAME):BOOL
**** self/divisor /= 0
is_divisible(divisor:SAME,check_coeff:BOOL,Laurent:BOOL):BOOL
is_eq(m:SAME):BOOL
is_lt(m:SAME):BOOL
is_zero:BOOL
lcm(other:SAME):SAME
**** lcm of power product
lex(m:SAME):INT
**** lexical order 1: self>m, 0:self=m, -1:self<m
minus(other:R): SAME
minus(other:SAME): SAME
**** expr1 - expr2 expr1.minus(expr2)
negate: SAME
normalize:SAME
one: SAME
plus(other:R): SAME
plus(other:SAME): SAME
**** expr1 + expr2 expr1.plus(expr2) Assume that power is the same for "plus" and "minus".
powerProduct:SAME
powerProduct_neg:SAME
**** power product of negative part
powerProduct_pos:SAME
**** power product of positive part
revlex(m:SAME):INT
**** reversed lexical order 1: self>m, 0:self=m, -1:self<m
setTermOrder
setTermOrder(t:STR)
str(lib : LIBCHARS) : STR
str(format:STR):STR
str:STR
times(other:R): SAME
**** expr1 * expr2 expr1.times(expr2)
times(other:SAME): SAME
**** expr1 * expr2 expr1.times(expr2)
totalDegree:INT
totalWeightedDegree:FLT
wdeglex(m:SAME):INT
**** weighted deg-lex
wdegrevlex(m:SAME):INT
**** weighted deg-rev-lex
zero: SAME

The Sather Home Page