/dports/math/cocoalib/CoCoALib-0.99712/examples/ |
H A D | ex-RingWeyl5.C | 37 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 D | ex-RingWeyl4.C | 37 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 D | ex-RingWeyl1.C | 28 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 D | ex-RingWeyl2.C | 31 vector<long> ElimIndets; // empty in program() local 32 SparsePolyRing WA = NewWeylAlgebra(RingQQ(), names, ElimIndets); in program()
|
H A D | ex-RingWeyl3.C | 28 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 D | ex-RingWeyl5.C | 37 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 D | ex-RingWeyl4.C | 37 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 D | ex-RingWeyl1.C | 28 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 D | ex-RingWeyl2.C | 31 vector<long> ElimIndets; // empty in program() local 32 SparsePolyRing WA = NewWeylAlgebra(RingQQ(), names, ElimIndets); in program()
|
H A D | ex-RingWeyl3.C | 28 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 D | RingWeyl.H | 38 …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 D | RingWeyl.H | 38 …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 D | test-RingWeyl1.C | 54 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 D | test-RingWeyl1.C | 54 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 D | RingWeyl.C | 60 …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 D | SparsePolyOps-ideal.C | 641 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 D | SparsePolyOps-ideal-monomial.C | 224 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 D | RingWeyl.C | 60 …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 D | SparsePolyOps-ideal.C | 641 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 D | SparsePolyOps-ideal-monomial.C | 224 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 D | BuiltInFunctions-CoCoALib.C | 1510 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 D | BuiltInFunctions-CoCoALib.C | 1562 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 D | OperationCommunication.cpkg5 | 842 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 D | OperationCommunication.cpkg5 | 842 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");
|