| 11 | //extern int (*ListGreatMove)(jList *,jList *,poly); |
| 12 | |
| 13 | static BOOLEAN jInitBasis(ideal v, jList **TT,jList **QQ) |
| 14 | { |
| 15 | if (rHasLocalOrMixedOrdering(currRing)) |
| 16 | { |
| 17 | WerrorS("janet only for well-orderings"); |
| 18 | return TRUE; |
| 19 | } |
| 20 | |
| 21 | Initialization(rOrdStr(currRing)); |
| 22 | |
| 23 | jList *Q=(jList *)GCM(sizeof(jList)); |
| 24 | Q->root=NULL; |
| 25 | |
| 26 | jList *T=(jList *)GCM(sizeof(jList)); |
| 27 | T->root=NULL; |
| 28 | |
| 29 | for (int i=0; i < IDELEMS(v); i++) |
| 30 | { |
| 31 | if (v->m[i]!=NULL) |
| 32 | { |
| 33 | Poly *beg=NewPoly(pCopy(v->m[i])); |
| 34 | |
| 35 | InitHistory(beg); |
| 36 | InitProl(beg); |
| 37 | InitLead(beg); |
| 38 | |
| 39 | InsertInCount(Q,beg); |
| 40 | } |
| 41 | } |
| 42 | |
| 43 | BOOLEAN r= !(ComputeBasis(T,Q)); |
| 44 | *TT=T; |
| 45 | *QQ=Q; |
| 46 | return r; |
| 47 | } |
| 48 | |
| 49 | /// flag: 0: JB, 1: SB |
| 50 | BOOLEAN jjStdJanetBasis(leftv res, leftv v, int flag) |
no test coverage detected