Go to the source code of this file.
◆ plain_spoly()
poly plain_spoly |
( |
poly |
f, |
|
|
poly |
g |
|
) |
| |
◆ reduce_poly_fct()
poly reduce_poly_fct |
( |
poly |
p, |
|
|
ring |
r |
|
) |
| |
◆ ringNF()
poly ringNF |
( |
poly |
f, |
|
|
ideal |
G, |
|
|
ring |
r |
|
) |
| |
◆ ringRedNF()
poly ringRedNF |
( |
poly |
f, |
|
|
ideal |
G, |
|
|
ring |
r |
|
) |
| |
◆ testGB()
int testGB |
( |
ideal |
I, |
|
|
ideal |
GI |
|
) |
| |
Definition at line 225 of file ringgb.cc.
233 PrintS(
"Not reduced to zero from I: ");
242 PrintS(
" Yes!\nspoly --> 0?");
273 PrintS(
" Yes!\nzero-spoly --> 0?");
KINLINE BOOLEAN k_GetLeadTerms(const poly p1, const poly p2, const ring p_r, poly &m1, poly &m2, const ring m_r)