Home
last modified time | relevance | path

Searched refs:ElimIndets (Results 1 – 24 of 24) sorted by relevance

/dports/math/cocoalib/CoCoALib-0.99712/examples/
H A Dex-RingWeyl5.C37 vector<long> ElimIndets; in program() local
38 ElimIndets.push_back(2); // elim x in program()
39 ElimIndets.push_back(3); // elim y in program()
40 ElimIndets.push_back(7); // elim dx in program()
41 ElimIndets.push_back(8); // elim dy in program()
42 SparsePolyRing WA = NewWeylAlgebra(RingQQ(), names, ElimIndets); in program()
H A Dex-RingWeyl4.C37 vector<long> ElimIndets; in program() local
38 ElimIndets.push_back(0); // elim u in program()
39 ElimIndets.push_back(1); // elim v in program()
40 SparsePolyRing WA = NewWeylAlgebra(RingQQ(), names, ElimIndets); in program()
H A Dex-RingWeyl1.C28 vector<long> ElimIndets; in program() local
29 ElimIndets.push_back(0); // elim u in program()
30 ElimIndets.push_back(1); // elim v in program()
31 SparsePolyRing WA = NewWeylAlgebra(RingQQ(), names, ElimIndets); in program()
H A Dex-RingWeyl2.C31 vector<long> ElimIndets; // empty in program() local
32 SparsePolyRing WA = NewWeylAlgebra(RingQQ(), names, ElimIndets); in program()
H A Dex-RingWeyl3.C28 vector<long> ElimIndets; // empty in program() local
29 SparsePolyRing WA = NewWeylAlgebra(RingQQ(), names, ElimIndets); in program()
/dports/math/giacxcas/CoCoALib-0.99700/examples/
H A Dex-RingWeyl5.C37 vector<long> ElimIndets; in program() local
38 ElimIndets.push_back(2); // elim x in program()
39 ElimIndets.push_back(3); // elim y in program()
40 ElimIndets.push_back(7); // elim dx in program()
41 ElimIndets.push_back(8); // elim dy in program()
42 SparsePolyRing WA = NewWeylAlgebra(RingQQ(), names, ElimIndets); in program()
H A Dex-RingWeyl4.C37 vector<long> ElimIndets; in program() local
38 ElimIndets.push_back(0); // elim u in program()
39 ElimIndets.push_back(1); // elim v in program()
40 SparsePolyRing WA = NewWeylAlgebra(RingQQ(), names, ElimIndets); in program()
H A Dex-RingWeyl1.C28 vector<long> ElimIndets; in program() local
29 ElimIndets.push_back(0); // elim u in program()
30 ElimIndets.push_back(1); // elim v in program()
31 SparsePolyRing WA = NewWeylAlgebra(RingQQ(), names, ElimIndets); in program()
H A Dex-RingWeyl2.C31 vector<long> ElimIndets; // empty in program() local
32 SparsePolyRing WA = NewWeylAlgebra(RingQQ(), names, ElimIndets); in program()
H A Dex-RingWeyl3.C28 vector<long> ElimIndets; // empty in program() local
29 SparsePolyRing WA = NewWeylAlgebra(RingQQ(), names, ElimIndets); in program()
/dports/math/cocoalib/CoCoALib-0.99712/include/CoCoA/
H A DRingWeyl.H38 …ing NewWeylAlgebra(const ring& CoeffRing, long NumTrueIndets, const std::vector<long>& ElimIndets);
39 …ebra(const ring& CoeffRing, const std::vector<symbol>& names, const std::vector<long>& ElimIndets);
/dports/math/giacxcas/CoCoALib-0.99700/include/CoCoA/
H A DRingWeyl.H38 …ing NewWeylAlgebra(const ring& CoeffRing, long NumTrueIndets, const std::vector<long>& ElimIndets);
39 …ebra(const ring& CoeffRing, const std::vector<symbol>& names, const std::vector<long>& ElimIndets);
/dports/math/giacxcas/CoCoALib-0.99700/src/tests/
H A Dtest-RingWeyl1.C54 vector<long> ElimIndets; in program() local
55 SparsePolyRing WA = NewWeylAlgebra(RingQQ(), names, ElimIndets); in program()
/dports/math/cocoalib/CoCoALib-0.99712/src/tests/
H A Dtest-RingWeyl1.C54 vector<long> ElimIndets; in program() local
55 SparsePolyRing WA = NewWeylAlgebra(RingQQ(), names, ElimIndets); in program()
/dports/math/giacxcas/CoCoALib-0.99700/src/AlgebraicCore/
H A DRingWeyl.C60 …Impl(const ring& CoeffRing, const std::vector<symbol>& names, const std::vector<long>& ElimIndets);
246 …pl(const ring& CoeffRing, const std::vector<symbol>& WANames, const std::vector<long>& ElimIndets): in RingWeylImpl() argument
249 NewMatrixOrdering(ElimMat(ElimIndets, len(WANames)), in RingWeylImpl()
999 …parsePolyRing NewWeylAlgebra(const ring& CoeffRing, long NumIndets, const vector<long>& ElimIndets) in NewWeylAlgebra() argument
1001 return SparsePolyRing(new RingWeylImpl(CoeffRing, WANAMES(NumIndets), ElimIndets)); in NewWeylAlgebra()
1005 …eylAlgebra(const ring& CoeffRing, const std::vector<symbol>& names, const vector<long>& ElimIndets) in NewWeylAlgebra() argument
1007 return SparsePolyRing(new RingWeylImpl(CoeffRing, WANAMES(names), ElimIndets)); in NewWeylAlgebra()
H A DSparsePolyOps-ideal.C641 void SparsePolyRingBase::IdealImpl::myElim(const std::vector<RingElem>& ElimIndets) in myElim() argument
646 myElim_MonId(ElimIndets); in myElim()
653 const long n = len(ElimIndets); in myElim()
656 if (!IsIndet(ElimIndets[i])) in myElim()
658 ElimIndetsProd *= LPP(ElimIndets[i]); in myElim()
H A DSparsePolyOps-ideal-monomial.C224 void SparsePolyRingBase::IdealImpl::myElim_MonId(const std::vector<RingElem>& ElimIndets) in myElim_MonId() argument
236 PPVector g2(PPM(g), DMR(g), ElimIndets); in myElim_MonId()
/dports/math/cocoalib/CoCoALib-0.99712/src/AlgebraicCore/
H A DRingWeyl.C60 …Impl(const ring& CoeffRing, const std::vector<symbol>& names, const std::vector<long>& ElimIndets);
246 …pl(const ring& CoeffRing, const std::vector<symbol>& WANames, const std::vector<long>& ElimIndets): in RingWeylImpl() argument
249 NewMatrixOrdering(ElimMat(ElimIndets, len(WANames)), in RingWeylImpl()
999 …parsePolyRing NewWeylAlgebra(const ring& CoeffRing, long NumIndets, const vector<long>& ElimIndets) in NewWeylAlgebra() argument
1001 return SparsePolyRing(new RingWeylImpl(CoeffRing, WANAMES(NumIndets), ElimIndets)); in NewWeylAlgebra()
1005 …eylAlgebra(const ring& CoeffRing, const std::vector<symbol>& names, const vector<long>& ElimIndets) in NewWeylAlgebra() argument
1007 return SparsePolyRing(new RingWeylImpl(CoeffRing, WANAMES(names), ElimIndets)); in NewWeylAlgebra()
H A DSparsePolyOps-ideal.C641 void SparsePolyRingBase::IdealImpl::myElim(const std::vector<RingElem>& ElimIndets) in myElim() argument
646 myElim_MonId(ElimIndets); in myElim()
653 const long n = len(ElimIndets); in myElim()
656 if (!IsIndet(ElimIndets[i])) in myElim()
658 ElimIndetsProd *= LPP(ElimIndets[i]); in myElim()
H A DSparsePolyOps-ideal-monomial.C224 void SparsePolyRingBase::IdealImpl::myElim_MonId(const std::vector<RingElem>& ElimIndets) in myElim_MonId() argument
236 PPVector g2(PPM(g), DMR(g), ElimIndets); in myElim_MonId()
/dports/math/giacxcas/CoCoALib-0.99700/src/CoCoA-5/
H A DBuiltInFunctions-CoCoALib.C1510 vector<RingElem> ElimIndets; variable
1512 case 1: ElimIndets = runtimeEnv->evalRVAsListOfRingElem(x, ARG(0));break;
1513 case 2: ElimIndets.push_back(RefTo<RingElem>(x));break;
1516 MakeUnique(J)->myElim(ElimIndets); // I->myElim(v1) ~~~> const
1524 intrusive_ptr<RINGELEM> ElimIndets = runtimeEnv->evalArgAs<RINGELEM>(ARG(0)); variable
1525 return Value::from(ComputeElimFirst(gens(I->theIdeal), LPP(ElimIndets->theRingElem)));
/dports/math/cocoalib/CoCoALib-0.99712/src/CoCoA-5/
H A DBuiltInFunctions-CoCoALib.C1562 vector<RingElem> ElimIndets; variable
1564 case 1: ElimIndets = runtimeEnv->evalRVAsListOfRingElem(x, ARG(0));break;
1565 case 2: ElimIndets.push_back(RefTo<RingElem>(x));break;
1568 MakeUnique(J)->myElim(ElimIndets); // I->myElim(v1) ~~~> const
1576 intrusive_ptr<RINGELEM> ElimIndets = runtimeEnv->evalArgAs<RINGELEM>(ARG(0)); variable
1577 return Value::from(ComputeElimFirst(gens(I->theIdeal), LPP(ElimIndets->theRingElem)));
/dports/math/giacxcas/CoCoALib-0.99700/src/CoCoA-5/packages/
H A DOperationCommunication.cpkg5842 Define ElimT5x(ElimIndets, Y, Info5)
846 [Y, Tagged(ElimIndets,"POLY_LIST")],
852 [Y, Tagged(ElimIndets,"POLY_LIST")],
856 Error("ElimT5x: arguments must be ElimIndets: PolyList, Y: IDEAL/MODULE");
/dports/math/cocoalib/CoCoALib-0.99712/src/CoCoA-5/packages/
H A DOperationCommunication.cpkg5842 Define ElimT5x(ElimIndets, Y, Info5)
846 [Y, Tagged(ElimIndets,"POLY_LIST")],
852 [Y, Tagged(ElimIndets,"POLY_LIST")],
856 Error("ElimT5x: arguments must be ElimIndets: PolyList, Y: IDEAL/MODULE");