Feature #313
Elim(vector<long>) as PPOrderingCtor
Status:
In Progress
Priority:
High
Assignee:
Category:
New Function
Target version:
Description
Same as lex, StdDegLex, ... also Elim(vector<long>) should be implemented as a PPOrderingCtor
Related issues
History
#1 Updated by Anna Maria Bigatti over 10 years ago
- Target version changed from CoCoALib-0.9953 to CoCoALib-0.99532
#2 Updated by John Abbott over 10 years ago
- Priority changed from Normal to High
Anna told me she has an impl (of exactly what I don't recall).
Let's make it available -- I'd like it to be available in C5 too.
For what it's worth, here's my impl in C5 language
Define ElimOrdMat(N, ElimIndets) // Check entries of ElimIndets are (distinct) ints in range 1..N TopLevel ZZ; M := NewMat(N,N,0); Foreach i In ElimIndets Do M[1,i] := 1; EndForeach; E := len(ElimIndets); For i := 2 To E Do M[i, ElimIndets[E+2-i]] := -1; EndFor; KeepIndets := [k | k In 1..N And Not(k IsIn ElimIndets)]; Foreach j In KeepIndets Do M[E+1,j] := 1; EndForeach; K := len(KeepIndets); For i := 2 To len(KeepIndets) Do M[E+i, KeepIndets[K+2-i]] := -1; EndFor; Return M; EndDefine; -- ElimOrdMat
#3 Updated by Anna Maria Bigatti over 10 years ago
- Target version changed from CoCoALib-0.99532 to CoCoALib-0.99533 Easter14
#4 Updated by John Abbott about 10 years ago
- Target version changed from CoCoALib-0.99533 Easter14 to CoCoALib-0.99534 Seoul14
#5 Updated by John Abbott almost 10 years ago
- Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-1.0
#6 Updated by John Abbott almost 8 years ago
- Target version changed from CoCoALib-1.0 to CoCoALib-0.99550 spring 2017
#7 Updated by John Abbott almost 8 years ago
- Related to Design #822: Should ElimMat return a ConstMatrix added
#8 Updated by John Abbott over 7 years ago
Should we postpone this issue to the next version?
#9 Updated by Anna Maria Bigatti over 7 years ago
- Target version changed from CoCoALib-0.99550 spring 2017 to CoCoALib-0.99560
#10 Updated by John Abbott over 6 years ago
- Target version changed from CoCoALib-0.99560 to CoCoALib-0.99600
#11 Updated by Anna Maria Bigatti almost 6 years ago
- Target version changed from CoCoALib-0.99600 to CoCoALib-0.99650 November 2019
#12 Updated by John Abbott almost 5 years ago
- Target version changed from CoCoALib-0.99650 November 2019 to CoCoALib-0.99700
#13 Updated by John Abbott over 4 years ago
- Target version changed from CoCoALib-0.99700 to CoCoALib-0.99800
#14 Updated by Anna Maria Bigatti over 2 years ago
- % Done changed from 0 to 30
#15 Updated by John Abbott over 2 years ago
- Target version changed from CoCoALib-0.99800 to CoCoALib-0.99850
#16 Updated by John Abbott 4 months ago
- Assignee set to Anna Maria Bigatti
#17 Updated by Anna Maria Bigatti 3 months ago
- Status changed from New to In Progress
- Target version changed from CoCoALib-0.99850 to CoCoALib-0.99880
Probably the functions ElimMat-like are good enough for this.
At least we should write some explicit example here (for CoCoA-5 #78, and for CoCoALib)
#18 Updated by Anna Maria Bigatti 3 months ago
- Related to Feature #1808: New constructor for PolyRing with elimination ordering added