Searched refs:sigSafe (Results 1 – 2 of 2) sorted by relevance
| /dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/ |
| H A D | kspoly.cc | 778 int sigSafe = p_LmCmp(PR->sig,sigMult,currRing); in ksReducePolySig() local
783 printf("%d -- %d sig\n",sigSafe,PW->is_sigsafe); in ksReducePolySig()
790 if(sigSafe != 1) in ksReducePolySig()
990 int sigSafe; in ksReducePolySigRing() local
992 sigSafe = p_LmCmp(PR->sig,sigMult,currRing); in ksReducePolySigRing()
997 printf("%d -- %d sig\n",sigSafe,PW->is_sigsafe); in ksReducePolySigRing()
1034 if(sigSafe != 1 && !rField_is_Ring(currRing)) in ksReducePolySigRing()
|
| H A D | kstd2.cc | 1169 int sigSafe; in redSig() local
1248 sigSafe = ksReducePolySig(h, &(strat->T[ii]), strat->S_2_R[ii], NULL, NULL, strat); in redSig()
1250 if (sigSafe != 3) in redSig()
1254 if (sigSafe != 3) in redSig()
1262 Print("SigSAFE: %d\n",sigSafe); in redSig()
1264 if (sigSafe != 3) in redSig()
1350 int sigSafe; in redSigRing() local
1500 if (sigSafe != 3) in redSigRing()
1504 if (sigSafe != 3) in redSigRing()
1512 Print("SigSAFE: %d\n",sigSafe); in redSigRing()
[all …]
|