Home
last modified time | relevance | path

Searched refs:kNF (Results 1 – 25 of 30) sorted by relevance

12

/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A Dunits.cc33 ideal M1=kNF(N,currRing->qideal,M,0,KSTD_NF_ECART); in redNF()
46 M1=kNF(N,currRing->qideal,M,0,KSTD_NF_ECART); in redNF()
H A Dkstd1.h27 poly kNF (ideal F, ideal Q, poly p,int syzComp=0, int lazyReduce=0);
28 ideal kNF(ideal F, ideal Q, ideal p,int syzComp=0, int lazyReduce=0);
H A Dnc.cc93 q = kNF(J, currRing->qideal, q, 0, KSTD_NF_NONORM); // in currRing!!! in twostd()
293 q = kNF(I,currRing->qideal,q,0,0); in Approx_Step()
H A Dkstdfac.cc393 poly r=kNF(n->Shdl,NULL,n->D->m[j],0,KSTD_NF_LAZY | KSTD_NF_NONORM); in completeReduceFac()
438 ideal r=kNF(n->Shdl,NULL,Lj->d,0,KSTD_NF_LAZY | KSTD_NF_NONORM); in completeReduceFac()
680 poly r=kNF(n->Shdl,NULL,n->D->m[j],0,KSTD_NF_LAZY | KSTD_NF_NONORM); in bbafac()
727 ideal r=kNF(n->Shdl,NULL,Lj->d,0,KSTD_NF_LAZY | KSTD_NF_NONORM); in bbafac()
895 ideal r=kNF(Lj->d,NULL,Li->d,0,KSTD_NF_LAZY | KSTD_NF_NONORM); in kStdfac()
H A Df5gb.cc137 poly tempNF = kNF(gbPrev,currRing->qideal,f_i); in F5inc()
1105 poly tempNF = kNF(gbPrev,currRing->qideal,temp->getPoly()); in reduction()
1769 poly tempNF = kNF(gbPrev,currRing->qideal,temp); in topReduction()
H A Dkstd1.cc3169 poly kNF(ideal F, ideal Q, poly p,int syzComp, int lazyReduce) in kNF() function
3266 ideal kNF(ideal F, ideal Q, ideal p,int syzComp,int lazyReduce) in kNF() function
3384 poly ret = kNF(F, Q, p, syzComp, lazyReduce); in k_NF()
3783 res1=kNF(null,Q,res,0,KSTD_NF_LAZY); in kInterRed()
3785 res1=kNF(null,Q,res); in kInterRed()
3805 res=kNF(null,Q,res1,0,KSTD_NF_LAZY); in kInterRed()
3807 res=kNF(null,Q,res1); in kInterRed()
H A Dsyz0.cc1043 ideal t=kNF(currRing->qideal,NULL,result->fullres[i]); in sySchreyer()
H A Dsyz3.cc1850 new_generators->m[0] = kNF(syzstr->res[0],currRing->qideal,temp->m[i]); in syKosz()
H A Dkutil.cc10351 r->m[l]=kNF(Q,NULL,p); in updateResult()
10384 r->m[l]=kNF(Q,NULL,p); in updateResult()
10418 r->m[l]=kNF(Q,NULL,p); in updateResult()
10449 r->m[l]=kNF(Q,NULL,p); in updateResult()
/dports/math/singular/Singular-Release-4-2-1/Singular/dyn_modules/gfanlib/
H A DtropicalDebug.cc53 ideal NF1 = kNF(stdI,s->qideal,stdJ); in areIdealsEqual()
54 ideal NF2 = kNF(stdJ,s->qideal,stdI); in areIdealsEqual()
H A Dwitness.cc57 ideal NFinI = kNF(J,r->qideal,inI); in witness()
H A DcontainsMonomial.cc29 ideal JquotMredJ = kNF(Jstd,currRing->qideal,JquotM); in checkForMonomialViaSuddenSaturation()
H A DtropicalStrategy.cc260 ideal startingIdeal = kNF(pt,startingRing->qideal,J); // mathematically redundant, in constructStartingIdeal()
/dports/math/singular/Singular-Release-4-2-1/kernel/linear_algebra/
H A DMinorInterface.cc43 poly tmp = kNF(iSB, currRing->qideal, nfPolyArray[i]); in arrayIsNumberArray()
277 nfPolyMatrix[i] = kNF(iSB, currRing->qideal,myPolyMatrix[i]); in getMinorIdeal()
483 nfPolyMatrix[i] = kNF(iSB, currRing->qideal, myPolyMatrix[i]); in getMinorIdealCache()
H A DMinorProcessor.cc438 poly g = kNF(iSB, currRing->qideal, f); in getReduction()
1070 poly tmpresult = kNF(iSB, currRing->qideal, result); in getMinorPrivateLaplace()
1248 poly tmpresult = kNF(iSB, currRing->qideal, result); in getMinorPrivateLaplace()
1544 poly tmpresult = kNF(iSB, currRing->qideal, result); in getMinorPrivateBareiss()
/dports/math/polymake/polymake-4.5/bundled/singular/apps/ideal/src/
H A DsingularIdeal.cc163 ::ideal JquotMredJ = kNF(Jstd, nullptr, JquotM); in convert_number_to_Rational()
350 ::ideal q = kNF(singIdeal, nullptr, toBeReduced.singIdeal); in convert_number_to_Rational()
360 poly q_s = kNF(singIdeal, nullptr, p_s); in convert_number_to_Rational()
/dports/math/singular/Singular-Release-4-2-1/Singular/
H A Dfglm.cc190 ideal sqindred = kNF( dring->qideal, NULL, sqind ); in fglmConsistency()
209 ideal dqinsred = kNF( sring->qideal, NULL, dqins ); in fglmConsistency()
H A Dipassign.cc2332 ideal II=kNF(F,currRing->qideal,I0); in jjNormalizeQRingId()
2361 poly p2=kNF(F,r->qideal,p); in jj_NormalizeQRingP()
H A Diparith.cc3058 res->data = (char *)kNF(vi,currRing->qideal,(poly)u->Data()); in jjREDUCE_P()
3067 res->data = (char *)kNF(vi,currRing->qideal,ui); in jjREDUCE_ID()
6967 res->data = (char *)kNF((ideal)v->Data(),currRing->qideal,(poly)u->Data(), in jjREDUCE3_P()
6974 res->data = (char *)kNF((ideal)v->Data(),currRing->qideal,(ideal)u->Data(), in jjREDUCE3_ID()
/dports/math/singular/Singular-Release-4-2-1/kernel/spectrum/
H A Dspectrum.cc406 poly nfhard = kNF( stdJ,(ideal)NULL,pNext( nf ),0,0 ); in computeNF()
/dports/math/singular/Singular-Release-4-2-1/kernel/fglm/
H A Dfglmhom.cc243 poly nf = kNF( dat.sourceIdeal, NULL, dat.monlist[s].mon.sm );
H A Dfglmcomb.cc452 nf[k]= kNF( source, currRing->qideal, mon ); in fglmLinearCombination()
/dports/math/singular/Singular-Release-4-2-1/kernel/
H A Dideals.cc123 h2=kNF(h3,currRing->qideal,e); in idMinBase()
1198 ideal s_result = kNF(s_h3,currRing->qideal,s_temp,k); in idLift()
1868 p = kNF(R,currRing->qideal,q); in idMinor()
1930 p = kNF(R,currRing->qideal,q); in idMinors()
2046 p = kNF(id2,currRing->qideal,id1->m[i]); in idIsSubModule()
/dports/math/singular/Singular-Release-4-2-1/Singular/dyn_modules/cohomo/
H A Dcohomo.cc479 ideal idq=kNF(gb,NULL,h1); in idmodulo()
/dports/devel/upp/upp/uppsrc/ScatterDraw/srcdoc.tpp/
H A DOverview_en-us.tpp265 …CYwxdmoOBbKBXjwC+d21WtwM2nSpUC3jdV1WJl1Rd88SNV0V0l/m345xOIXsN7IDmZr3Joh/eg+kNF+T2fl88XPFJWvckT3BWL…

12