|
| scfmon | hInit (ideal S, ideal Q, int *Nexist, ring tailRing) |
| |
| 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) |
| |