class MONOMIAL{R} < $STR


Flattened version is here

Ancestors
$STR



Public


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

Writable Attributes
attr coeff: R;
****
attr power: MAP{INT,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:INT):INT
aget(s:STR):INT
aset(id:INT,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
getTermOrder:STR
getTermOrders:ARRAY{STR}
**** acceptable order names
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
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)
powerProduct:SAME
powerProduct_neg:SAME
**** power product of negative part
powerProduct_pos:SAME
**** power product of positive part
revlex(m:SAME):INT
setTermOrder
setTermOrder(t: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
wdegrevlex(m:SAME):INT
zero: SAME

The Sather Home Page