|
scfmon | hInit (ideal S, ideal Q, int *Nexist) |
|
void | hDelete (scfmon ev, int ev_length) |
|
void | hComp (scfmon exist, int Nexist, int ak, scfmon stc, int *Nstc) |
|
void | hSupp (scfmon stc, int Nstc, varset var, int *Nvar) |
|
void | hOrdSupp (scfmon stc, int Nstc, varset var, int Nvar) |
|
static void | hShrink (scfmon co, int a, int Nco) |
|
void | hStaircase (scfmon stc, int *Nstc, varset var, int Nvar) |
|
void | hRadical (scfmon rad, int *Nrad, int Nvar) |
|
void | hLexS (scfmon stc, int Nstc, varset var, int Nvar) |
|
void | hLexR (scfmon rad, int Nrad, varset var, int Nvar) |
|
void | hPure (scfmon stc, int a, int *Nstc, varset var, int Nvar, scmon pure, int *Npure) |
|
void | hElimS (scfmon stc, int *e1, int a2, int e2, varset var, int Nvar) |
|
void | hElimR (scfmon rad, int *e1, int a2, int e2, varset var, int Nvar) |
|
void | hLex2S (scfmon rad, int e1, int a2, int e2, varset var, int Nvar, scfmon w) |
|
void | hLex2R (scfmon rad, int e1, int a2, int e2, varset var, int Nvar, scfmon w) |
|
void | hStepS (scfmon stc, int Nstc, varset var, int Nvar, int *a, int *x) |
|
void | hStepR (scfmon rad, int Nrad, varset var, int Nvar, int *a) |
|
monf | hCreate (int Nvar) |
|
void | hKill (monf xmem, int Nvar) |
|
scfmon | hGetmem (int lm, scfmon old, monp monmem) |
|
scmon | hGetpure (scmon p) |
|