for a description of the parameters see fglm.h
| 1190 | |
| 1191 | // for a description of the parameters see fglm.h |
| 1192 | BOOLEAN |
| 1193 | fglmzero( ring sourceRing, ideal & sourceIdeal, ring destRing, ideal & destIdeal, BOOLEAN switchBack, BOOLEAN deleteIdeal ) |
| 1194 | { |
| 1195 | ring initialRing = currRing; |
| 1196 | BOOLEAN fglmok; |
| 1197 | |
| 1198 | if ( currRing != sourceRing ) |
| 1199 | { |
| 1200 | rChangeCurrRing( sourceRing ); |
| 1201 | } |
| 1202 | idealFunctionals L( 100, rVar(currRing) ); |
| 1203 | fglmok = CalculateFunctionals( sourceIdeal, L ); |
| 1204 | if ( deleteIdeal == TRUE ) |
| 1205 | idDelete( & sourceIdeal ); |
| 1206 | rChangeCurrRing( destRing ); |
| 1207 | if ( fglmok == TRUE ) |
| 1208 | { |
| 1209 | L.map( sourceRing ); |
| 1210 | destIdeal= GroebnerViaFunctionals( L ); |
| 1211 | } |
| 1212 | if ( (switchBack) && (currRing != initialRing) ) |
| 1213 | rChangeCurrRing( initialRing ); |
| 1214 | return fglmok; |
| 1215 | } |
| 1216 | |
| 1217 | BOOLEAN |
| 1218 | fglmquot( ideal sourceIdeal, poly quot, ideal & destIdeal) |
no test coverage detected