D.2.6.1 changechar | | make a copy R of basering [ring r] with new char c |
D.2.6.2 changeord | | make a copy R of basering [ring r] with new ord o |
D.2.6.3 changevar | | make a copy R of basering [ring r] with new vars v |
D.2.6.4 defring | | define a ring R in specified char c, n vars v, ord o |
D.2.6.5 defrings | | define ring Sn in n vars, char 32003 [p], ord ds |
D.2.6.6 defringp | | define ring Pn in n vars, char 32003 [p], ord dp |
D.2.6.7 extendring | | extend given ring by n vars v, ord o and name it R |
D.2.6.8 fetchall | | fetch all objects of ring R to basering |
D.2.6.9 imapall | | imap all objects of ring R to basering |
D.2.6.10 mapall | | map all objects of ring R via ideal i to basering |
D.2.6.11 ord_test | | test wether ordering of R is global, local or mixed |
D.2.6.12 ringtensor | | create ring R, tensor product of rings s,t,... |
D.2.6.13 ringweights | | intvec of weights of ring variables of ring r |
D.2.6.14 preimageLoc | | computes preimage for non-global orderings (parameters in square brackets [] are optional) |
D.2.6.15 rootofUnity | | the minimal polynomial for the n-th primitive root of unity |