MCPcopy Create free account
hub / github.com/Singular/Singular / jInitBasis

Function jInitBasis

Singular/wrapper.cc:13–47  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

11//extern int (*ListGreatMove)(jList *,jList *,poly);
12
13static 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
50BOOLEAN jjStdJanetBasis(leftv res, leftv v, int flag)

Callers 1

jjStdJanetBasisFunction · 0.85

Calls 10

rHasLocalOrMixedOrderingFunction · 0.85
WerrorSFunction · 0.85
InitializationFunction · 0.85
rOrdStrFunction · 0.85
NewPolyFunction · 0.85
InitHistoryFunction · 0.85
InitProlFunction · 0.85
InitLeadFunction · 0.85
InsertInCountFunction · 0.85
ComputeBasisFunction · 0.85

Tested by

no test coverage detected