Project

General

Profile

Anna Maria Bigatti's activity

From 05 Mar 2024 to 03 Apr 2024

29 Mar 2024

10:42 CoCoALib 1.00 hour (Support #1687 (In Progress): Release CoCoALib 0.99850)
Anna Maria Bigatti
08:22 CoCoALib Support #1687: Release CoCoALib 0.99850

*done* Redmine Roadmap: close or postpone issue
*done* Redmine Release issues: check percentages, check timi...
Anna Maria Bigatti
08:22 CoCoALib 2.00 hours (Support #1687 (In Progress): Release CoCoALib 0.99850)
Anna Maria Bigatti
10:37 CoCoALib Bug #1812 (New): Documentation: indexXX.html should be recompiled if version has changed
There is no dependency on configuration/version in doc/Makefile for index...html.
(on the other hand the pdf manual ...
Anna Maria Bigatti
08:25 CoCoALib Design #1753: Clean up EulerTotient, InvTotient jungle in NumTheory-misc
set to 100% (after being closed) Anna Maria Bigatti

28 Mar 2024

15:12 CoCoALib Support #1810: Release CoCoALib 0.99900
Release issues:
https://cocoa.dima.unige.it/redmine/projects/cocoalib/issues?query_id=49
Here is a list of the ma...
Anna Maria Bigatti
15:11 CoCoALib Support #1810 (New): Release CoCoALib 0.99900
Everything related to making a CoCoALib release:
Redmine Roadmap: close or postpone issue
Redmine Release...
Anna Maria Bigatti
10:15 CoCoALib 1.00 hour (Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?)
Anna Maria Bigatti
10:15 CoCoALib Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?
Updated documentation submodule.txt (need proper example ex-syz.C)
Updated CoCoA-5 test test-syz, cvs-ed and include...
Anna Maria Bigatti
08:15 CoCoALib Feature #1206: syz, SyzOfGens: which shifts for zero?
restored "final decisions" in description removed by mistake. Anna Maria Bigatti
08:12 CoCoALib Feature #1206: syz, SyzOfGens: which shifts for zero?
added documentation for CoCoA-5 Anna Maria Bigatti
08:12 CoCoALib 0.50 hour (Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?)
Anna Maria Bigatti
08:45 CoCoALib Feature #1809 (New): Make ex-syz.C
Dealing with syzygies is non-trivial, expecially with shifts.
There is a dedicated function NewFreeModuleForSyz whic...
Anna Maria Bigatti
07:35 CoCoALib 0.50 hour (Feature #1808 (In Progress): New constructor for PolyRing with elimination ordering)
Anna Maria Bigatti
07:35 CoCoALib Feature #1808: New constructor for PolyRing with elimination ordering
This issue originates #78 (for CoCoA-5).
However, elimination orderings are widely used in CoCoALib (not just for el...
Anna Maria Bigatti
07:31 CoCoALib Feature #1808 (In Progress): New constructor for PolyRing with elimination ordering
New syntax @NewPolyRingElim(....)@ would be handy, and also easily transferred to CoCoA-5.
Design its interface (eg:...
Anna Maria Bigatti
07:16 CoCoA-5 Feature #78: Elim ordering and matrix ordering in CoCoA-5
Anna Maria Bigatti wrote:
> How to make this easier? Here is a possible shortcut:
> P := NewPolyRingElim(QQ, ElimI...
Anna Maria Bigatti
07:16 CoCoA-5 0.20 hour (Feature #78 (In Progress): Elim ordering and matrix ordering in CoCoA-5)
Anna Maria Bigatti

27 Mar 2024

17:47 CoCoALib 0.50 hour (Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?)
Anna Maria Bigatti
17:47 CoCoALib Feature #1206 (Resolved): syz, SyzOfGens: which shifts for zero?
Still to do: documentations showing how to deal with 0 entries, in CoCoALib and in CoCoA5 Anna Maria Bigatti
17:43 CoCoALib Feature #1206: syz, SyzOfGens: which shifts for zero?
Anna Maria Bigatti wrote:
> Should we make @SyzOfGens@ obsolescent? does it do anything more than calling @syz(gens...
Anna Maria Bigatti
17:31 CoCoALib Feature #598: Syzygy for modules: non-homogeneous module
I moved this issue from CoCoA-5 to CoCoALib Anna Maria Bigatti
17:24 CoCoALib Feature #598 (In Progress): Syzygy for modules: non-homogeneous module
Anna Maria Bigatti

26 Mar 2024

14:36 CoCoALib 0.25 hour (Design #582 (New): Error codes: use same code for "not poly ring" and "not elem poly ring")
Anna Maria Bigatti
14:36 CoCoALib Design #582: Error codes: use same code for "not poly ring" and "not elem poly ring"
I think this has been agreed upon a long time ago, as explained in #582-3.
Moreover the recent addition of the conte...
Anna Maria Bigatti
14:22 CoCoALib Design #1807 (In Progress): Error codes: "Not..." for "blah must be ..." -- change prefix
In the general picture of improving the error codes, I suggest a trivial (though extensive) change.
Look at these na...
Anna Maria Bigatti
13:44 CoCoA-5 Feature #1806 (New): New function ModuleElems? (like RingElems(RING, STRING))
The best shortcut to make a submodule is via @SumboduleCols/Rows@.
As pointed out in #1072-#1, even for one genera...
Anna Maria Bigatti
13:35 CoCoA-5 Feature #1072 (Rejected): syz: apply to ModuleElem?
Anna Maria Bigatti
09:59 CoCoA-5 0.20 hour (Feature #1072 (Rejected): syz: apply to ModuleElem?)
Anna Maria Bigatti
09:59 CoCoA-5 Feature #1072 (Resolved): syz: apply to ModuleElem?
I'm inclined to reject this.
It would be ambiguos: syz of the components, or of the cyclic module it generates?
Anna Maria Bigatti
12:16 CoCoA-5 Feature #1805 (New): Add CoCoA-5 syntax: syz(<F,> list of ModuleElem)
Currently we can call SyzOfGens(M), but it should also be possibile to call syz(gens(M)).
This is tedious because ...
Anna Maria Bigatti
11:50 CoCoALib Feature #1793: Use ErrorContext instead of string FnName
Added also to NewFreeModuleForSyz. Anna Maria Bigatti
11:50 CoCoALib 0.50 hour (Feature #1793 (In Progress): Use ErrorContext instead of string FnName)
Anna Maria Bigatti
10:42 CoCoALib Feature #1206: syz, SyzOfGens: which shifts for zero?
Anna Maria Bigatti wrote:
> This is my suggestion: implement a new function @syz0@ which allows 0s in the input (giv...
Anna Maria Bigatti
10:42 CoCoALib 1.00 hour (Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?)
Anna Maria Bigatti
10:02 CoCoALib Feature #598 (Feedback): Syzygy for modules: non-homogeneous module
This issue is old.
I'm making a test file test-sys.cocoa5.
I'll update and write there what we have working for hom...
Anna Maria Bigatti
10:02 CoCoALib 0.25 hour (Feature #598 (In Progress): Syzygy for modules: non-homogeneous module)
Anna Maria Bigatti

25 Mar 2024

19:06 CoCoALib Feature #1803 (New): Improve trivial operations with ideal whose GBasis is [1]
Sum is clever -- if HasGBasis(I) and is ideal(1).
Do the same for product and for other similar operations....
Anna Maria Bigatti
19:02 CoCoALib Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?
Moving note-33 (product) to another issue, because not related to generators. Anna Maria Bigatti
18:13 CoCoALib 0.20 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?)
Anna Maria Bigatti
18:13 CoCoALib Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
Sum is clever -- if HasGBasis(I) and is ideal(1)
Do it also for product....
Anna Maria Bigatti
18:51 CoCoALib 0.20 hour (Design #1801 (In Progress): BuildInfo)
Anna Maria Bigatti
18:51 CoCoALib Design #1801: BuildInfo
The function for CoCoA-5 is VersionInfo() defined in BuiltingFunctions.C Anna Maria Bigatti
17:55 CoCoALib Design #1720: DivAlg in CoCoALib
to be improved (see Nicolas Jagersma code using GPoly) Anna Maria Bigatti
17:49 CoCoALib 0.50 hour (Design #1649 (Closed): Add file SparsePolyOps-vector.C)
Anna Maria Bigatti
17:49 CoCoALib Design #1649 (Closed): Add file SparsePolyOps-vector.C
Anna Maria Bigatti
09:06 CoCoALib 0.25 hour (Design #1649 (Closed): Add file SparsePolyOps-vector.C)
Anna Maria Bigatti
09:06 CoCoALib Design #1649: Add file SparsePolyOps-vector.C
Anna Maria Bigatti wrote:
> I suggest having all headers in SparsePolyOps-RingElem.H (well indicated) and the "vecto...
Anna Maria Bigatti
08:22 CoCoALib 0.20 hour (Design #1649 (Closed): Add file SparsePolyOps-vector.C)
Anna Maria Bigatti
08:22 CoCoALib Design #1649: Add file SparsePolyOps-vector.C
After trying to rearrange the header files I found this problem.
There are functions on vectors of RingElem need hea...
Anna Maria Bigatti
08:12 CoCoALib Design #1649 (Resolved): Add file SparsePolyOps-vector.C
After closing I realized that the "coefficients" functions were missing and that the .H files were not aligned.
Stil...
Anna Maria Bigatti
08:12 CoCoALib 0.50 hour (Design #1649 (Closed): Add file SparsePolyOps-vector.C)
Anna Maria Bigatti
07:42 CoCoALib Design #1649 (Closed): Add file SparsePolyOps-vector.C
Anna Maria Bigatti wrote:
> Add syz and syz0 (allowing 0s) for vector of RingElem
*syz* should stay in @submodule...
Anna Maria Bigatti
07:42 CoCoALib 0.20 hour (Design #1649 (Closed): Add file SparsePolyOps-vector.C)
Anna Maria Bigatti
09:32 CoCoALib Bug #1661: Microsoft: cannot compile with signal handling
Anna Maria Bigatti wrote:
> Add the value of this flag to "VersionInfo()" in CoCoA-5 (work for me)
and in BuildI...
Anna Maria Bigatti
09:30 CoCoALib Bug #1661: Microsoft: cannot compile with signal handling
Add the value of this flag to "VersionInfo()" in CoCoA-5 (work for me) Anna Maria Bigatti

22 Mar 2024

18:17 CoCoALib Feature #313 (In Progress): Elim(vector<long>) as PPOrderingCtor
Probably the functions ElimMat-like are good enough for this.
At least we should write some explicit example here (f...
Anna Maria Bigatti
18:12 CoCoALib 0.20 hour (Slug #777 (In Progress): SLUG: elimination)
Anna Maria Bigatti
18:12 CoCoALib Slug #777: SLUG: elimination
There are two improvements we can still make:
# tell myFinalizeGBasis interreduce only the polynomials with the want...
Anna Maria Bigatti
17:25 CoCoALib Slug #777: SLUG: elimination
Now it takes 165s (I don't know how long it was before) Anna Maria Bigatti
15:58 CoCoALib 1.00 hour (Slug #777 (In Progress): SLUG: elimination)
Anna Maria Bigatti
15:58 CoCoALib Slug #777: SLUG: elimination
Anna Maria Bigatti wrote:
> Apart from the improvements we can do for @elim@ (and are about to do ;-)
I wonder if...
Anna Maria Bigatti
18:01 CoCoALib Slug #1394 (Resolved): Oddly slow GBasis computation (slow final cleanup)
Anna Maria Bigatti
17:56 CoCoALib Slug #1394: Oddly slow GBasis computation (slow final cleanup)
John Abbott wrote:
> Anna points out that the actual cost is the normal form reduction inside the *@isin@* operator....
Anna Maria Bigatti
16:43 CoCoALib Slug #1394: Oddly slow GBasis computation (slow final cleanup)
Current timings after the LT checking in the final cleaning (just marginally better than before, but most of the time... Anna Maria Bigatti
16:43 CoCoALib 0.50 hour (Slug #1394 (Resolved): Oddly slow GBasis computation (slow final cleanup))
Anna Maria Bigatti
16:16 CoCoALib Slug #1394: Oddly slow GBasis computation (slow final cleanup)
I changed the verbosity to 130 (to see what goes on in the -Final clean up)
Now it is faster because the polynomials...
Anna Maria Bigatti
16:19 CoCoALib Slug #1796: myFinalizeGBasis ("Final clean up") should be more flexible
Improved (see #777-12).
Still, could be more clever when computing elimination and some reductions are completely us...
Anna Maria Bigatti
14:38 CoCoALib Feature #1094: Revive code for SelfSaturating GBasis
Remember to add tests to test-GB.cocoa5
Anna Maria Bigatti
14:38 CoCoALib 0.20 hour (Feature #1094 (In Progress): Revive code for SelfSaturating GBasis)
Anna Maria Bigatti
14:32 CoCoALib Feature #1212 (Closed): New function: GBasisByHomog
Good thing I wrote #1212-19! My first implementation was wrong (embarrassing).
Now all implemented and I added a Co...
Anna Maria Bigatti
14:32 CoCoALib 1.00 hour (Feature #1212 (Closed): New function: GBasisByHomog)
Anna Maria Bigatti
10:20 CoCoALib Support #942: Which names to use? Intersection/saturation vs intersect/saturate
I prefer to go through similar situations before changing the current names.
Make a list.
Postponing.
Anna Maria Bigatti
10:18 CoCoALib Slug #967: Improve saturate
Different situations to consider (from #1619-8)
* monomial
* homog
* principal
* univariate
* general
Anna Maria Bigatti
10:14 CoCoALib Feature #1619 (Closed): Make saturate available in CoCoALib
Anna Maria Bigatti
09:38 CoCoALib Design #1649 (Resolved): Add file SparsePolyOps-vector.C
Add syz and syz0 (allowing 0s) for vector of RingElem Anna Maria Bigatti
09:30 CoCoALib Design #1798: Computing in sub polyring
The test in note-3 would be faster if called in the minimal sub-polyring. Anna Maria Bigatti
09:27 CoCoALib Design #1798: Computing in sub polyring
From #1641-11
It seems it's the "high number of variables" problem, and syz itself is quite fast: this examples take...
Anna Maria Bigatti
09:13 CoCoALib Feature #1780 (Closed): radical for ideals in SparsePolyRing: code in C++
The old CoCoA-5 radical code is currently still available as function @radical_COCOALANGUAGE@ in the radical.cpkg5 pa... Anna Maria Bigatti
09:13 CoCoALib 0.20 hour (Feature #1780 (Closed): radical for ideals in SparsePolyRing: code in C++ )
Anna Maria Bigatti

21 Mar 2024

18:02 CoCoALib Slug #967: Improve saturate
I also added the factorization in the case of a monomial (similar test as in #967-5, now in test0saturate.cocoa5).
...
Anna Maria Bigatti
18:02 CoCoALib 0.50 hour (Slug #967 (Resolved): Improve saturate)
Anna Maria Bigatti
17:56 CoCoALib Bug #1790 (Closed): saturate with zero ideals
Anna Maria Bigatti
13:27 CoCoALib Bug #1790: saturate with zero ideals
John Abbott wrote:
> The problem was that in @BuiltInFunctions-CoCoALib.C@ there was a call to @I->mySaturate(J)@ in...
Anna Maria Bigatti
13:27 CoCoALib 0.20 hour (Bug #1790 (Closed): saturate with zero ideals)
Anna Maria Bigatti
17:55 CoCoALib Feature #1619: Make saturate available in CoCoALib
added CoCoA-5 test-saturate.cocoa5 Anna Maria Bigatti
17:55 CoCoALib 1.00 hour (Feature #1619 (Closed): Make saturate available in CoCoALib)
Anna Maria Bigatti
17:54 CoCoALib Feature #1619: Make saturate available in CoCoALib
John Abbott wrote:
> Maybe different types:
> * monomial
> * principal
> * univariate
> * general
also homog
Anna Maria Bigatti
12:02 CoCoALib Bug #1641: gcd does not recognize univariate input
The problem for multivariate syz with many indets (from note-8 on) seems to be considered in #1057 and #1068, so I wo... Anna Maria Bigatti
11:31 CoCoALib 0.20 hour (Bug #1641 (Closed): gcd does not recognize univariate input )
Anna Maria Bigatti
11:31 CoCoALib Bug #1641: gcd does not recognize univariate input
It seems it's the "high number of variables" problem, and syz itself is quite fast: this examples takes ~4s on my com... Anna Maria Bigatti
10:01 CoCoALib Bug #1641: gcd does not recognize univariate input
John Abbott wrote:
> The new code seems to work now, and is faster if the polys are recognized as univariate.
>
>...
Anna Maria Bigatti
11:55 CoCoA-5 Slug #1068: PolyRing constructor: NewOrdvArith computed twice
I added some verbosity... Anna Maria Bigatti
11:55 CoCoA-5 0.25 hour (Slug #1068 (In Progress): PolyRing constructor: NewOrdvArith computed twice)
Anna Maria Bigatti
09:39 CoCoA-5 Bug #1794: Do not use random inside tests!!
John Abbott wrote:
> The cause is not too surprising: @demo-Osaka2015.cocoa5@ uses a random example (on line 72).
>...
Anna Maria Bigatti

20 Mar 2024

16:48 CoCoALib Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
This is all done (I believe) for ideals in SparsePolyRing.
Do it also for ideals in other rings (should we have anot...
Anna Maria Bigatti
15:53 CoCoALib 0.50 hour (Feature #1788 (Closed): New MatrixView/function "FirstRows/FirstCols"?)
Anna Maria Bigatti
15:53 CoCoALib Feature #1788 (Closed): New MatrixView/function "FirstRows/FirstCols"?
Added documentation for CoCoALib/5. Anna Maria Bigatti
15:26 CoCoALib Feature #1788 (Feedback): New MatrixView/function "FirstRows/FirstCols"?
I liked this too much and I did it.
Called in some lib/5 tests, called by GradingMat.
Easy enough. should not need...
Anna Maria Bigatti
15:26 CoCoALib 1.00 hour (Feature #1788 (Closed): New MatrixView/function "FirstRows/FirstCols"?)
Anna Maria Bigatti

18 Mar 2024

18:44 CoCoALib Support #942: Which names to use? Intersection/saturation vs intersect/saturate
[Conversation with Robbiano]
XXXX-ation gives a commutative feeling, XXXX-ate gives and action (non-commutative) fee...
Anna Maria Bigatti
14:10 CoCoALib Support #942: Which names to use? Intersection/saturation vs intersect/saturate
In CoCoA-4 we had intersection and saturation. Now we have a mixture...
Singular and Macaulay use *@intersect@* a...
Anna Maria Bigatti
14:10 CoCoALib 0.25 hour (Support #942 (In Progress): Which names to use? Intersection/saturation vs intersect/saturate)
Anna Maria Bigatti
17:02 CoCoA-5 0.50 hour (Feature #823 (Closed): NewPolyRing with weights -- better interface?)
Anna Maria Bigatti
17:02 CoCoA-5 Feature #823: NewPolyRing with weights -- better interface?
Added example in ex-PolyRing2.C Anna Maria Bigatti
16:17 CoCoA-5 Feature #823 (Closed): NewPolyRing with weights -- better interface?
Anna Maria Bigatti
16:15 CoCoALib Bug #1789 (Closed): GradingMat with negative weights should complain (or deal with them properly!!)
Anna Maria Bigatti
16:10 CoCoALib Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
List in #1647-9
Anna Maria Bigatti wrote:
> Add a function @CleanupGens@ making some more easy checks?
Moved i...
Anna Maria Bigatti
16:09 CoCoALib Feature #1797 (New): Add a function CleanupGens making some easy cleaning on the generators?
In #1645#note-28 there is a list of easy checks one might want to do on a given set of polynomial generators.
See al...
Anna Maria Bigatti
16:03 CoCoALib Design #1326 (Closed): Modify function myElim so that it returns ideal? (not quite)
Anna Maria Bigatti
16:02 CoCoALib 0.50 hour (Design #1326 (Closed): Modify function myElim so that it returns ideal? (not quite))
Anna Maria Bigatti
15:58 CoCoALib Feature #813 (Feedback): Implement "elim" in CoCoALib
I activated a test (slightly simplified test7 in test-GOperation1.C).
Anna Maria Bigatti
15:22 CoCoALib 0.50 hour (Feature #813 (Feedback): Implement "elim" in CoCoALib)
Anna Maria Bigatti
15:22 CoCoALib Feature #813: Implement "elim" in CoCoALib
See #1326#note-10 for discussion about elim(I,X) vs elim(X,I).
Apart from this, we should only add some tests in CoC...
Anna Maria Bigatti
13:54 CoCoALib Slug #1796 (New): myFinalizeGBasis ("Final clean up") should be more flexible
We have noticed that sometimes (with SetVerbosityLevel(100)) the time spent in "Final clean up" is quite long.
The c...
Anna Maria Bigatti
09:51 CoCoALib Bug #1740: MinGens gives non minimal gens *if some deg=0*
For the time being: should we give error? (as if non-homogeneous?) Anna Maria Bigatti
09:51 CoCoALib 0.20 hour (Bug #1740 (Feedback): MinGens gives non minimal gens *if some deg=0*)
Anna Maria Bigatti
09:45 CoCoALib Support #1510: Documentation for SparsePolyOps?
The SparsePolyOps files are quite focused on a specific topic.
Doc would be easier to maintain if kepts separately.
...
Anna Maria Bigatti
09:35 CoCoALib Support #1510: Documentation for SparsePolyOps?
See #1783-2 : one doc file for each topic/file Anna Maria Bigatti

15 Mar 2024

18:24 CoCoA-5 Design #1456: IntersectList or IntersectionList
Think also about the names saturate/saturation, intersect/intersection.
Anna Maria Bigatti
15:40 CoCoA-5 Feature #823: NewPolyRing with weights -- better interface?
See #1789-10 Anna Maria Bigatti
15:37 CoCoALib 0.50 hour (Bug #1789 (Closed): GradingMat with negative weights should complain (or deal with them properly!!))
Anna Maria Bigatti
15:37 CoCoALib Bug #1789 (Resolved): GradingMat with negative weights should complain (or deal with them properly!!)
Anna Maria Bigatti wrote:
> Added check in the definition of NewPolyRing(K, X, WeightsMat).
> Should I rename it Ne...
Anna Maria Bigatti
15:02 CoCoALib Design #1326: Modify function myElim so that it returns ideal? (not quite)
Anna Maria Bigatti wrote:
> elim of (I,X) or (X,I)?
comparison with other functions in CoCoA/CoCoALib: (I,X) s...
Anna Maria Bigatti
15:02 CoCoALib 0.25 hour (Design #1326 (Closed): Modify function myElim so that it returns ideal? (not quite))
Anna Maria Bigatti
14:54 CoCoALib Design #1326: Modify function myElim so that it returns ideal? (not quite)
elim of (I,X) or (X,I)?
Pro for (I,X)
# respects the rule "more structured argument first"
# like Singular/Os...
Anna Maria Bigatti
14:54 CoCoALib 0.50 hour (Design #1326 (Closed): Modify function myElim so that it returns ideal? (not quite))
Anna Maria Bigatti
14:44 CoCoALib Design #1326: Modify function myElim so that it returns ideal? (not quite)
Anna Maria Bigatti wrote:
> New question: @elim(I, X)@ (currently in CoCoALib) or @elim(X, I)@ (traditionally in ...
Anna Maria Bigatti
14:24 CoCoALib Design #1326: Modify function myElim so that it returns ideal? (not quite)
New question: @elim(I, X)@ (currently in CoCoALib) or @elim(X, I)@ (traditionally in CoCoA)?
They have to be sa...
Anna Maria Bigatti
14:24 CoCoALib 0.25 hour (Design #1326 (Closed): Modify function myElim so that it returns ideal? (not quite))
Anna Maria Bigatti
14:21 CoCoALib Design #1326 (Resolved): Modify function myElim so that it returns ideal? (not quite)
As explained in #note-7, I didn't like the first approach.
So I changed the internal functions as @J->myAssignElim(I...
Anna Maria Bigatti
14:21 CoCoALib 2.00 hours (Design #1326 (Closed): Modify function myElim so that it returns ideal? (not quite))
Anna Maria Bigatti

14 Mar 2024

17:58 CoCoALib Design #1326: Modify function myElim so that it returns ideal? (not quite)
I'm halfway through the process, but this is tricky.
[I think this is interesting, because it's the first try in cha...
Anna Maria Bigatti
17:58 CoCoALib 1.00 hour (Design #1326 (Closed): Modify function myElim so that it returns ideal? (not quite))
Anna Maria Bigatti
10:02 CoCoALib Design #1326: Modify function myElim so that it returns ideal? (not quite)
It seems we agree on changing this interface, so I consider this approved.
I'll go on with this, so we can proceed a...
Anna Maria Bigatti
10:02 CoCoALib 0.25 hour (Design #1326 (Closed): Modify function myElim so that it returns ideal? (not quite))
Anna Maria Bigatti
12:04 CoCoALib Bug #1789: GradingMat with negative weights should complain (or deal with them properly!!)
Added check in the definition of NewPolyRing(K, X, WeightsMat).
Should I rename it NewPolyRingWeights? (not yet do...
Anna Maria Bigatti
10:12 CoCoALib Bug #1789: GradingMat with negative weights should complain (or deal with them properly!!)
John Abbott wrote:
> [do we require the rows to be in lin indep?]
yes
Anna Maria Bigatti
09:51 CoCoALib 0.50 hour (Bug #1789 (Closed): GradingMat with negative weights should complain (or deal with them properly!!))
Anna Maria Bigatti
09:51 CoCoALib Bug #1789: GradingMat with negative weights should complain (or deal with them properly!!)
John Abbott wrote:
> The documentation says that if the grading-dim is not specified then it is taken to be 0. Perh...
Anna Maria Bigatti
11:29 CoCoALib Design #832: Generalize grading matrix
John Abbott wrote:
> My current preference is to allow gradings with negative weights, and possibly linearly depende...
Anna Maria Bigatti
11:29 CoCoALib 0.50 hour (Design #832 (New): Generalize grading matrix)
Anna Maria Bigatti
09:24 CoCoALib Bug #1791 (Closed): Fix Google-search link in the html documentation
Fixed path in published pages https://cocoa.dima.unige.it/cocoa/cocoalib/doc/html/
and in @CoCoALib-0.99/doc/aux-txt...
Anna Maria Bigatti
09:24 CoCoALib 0.50 hour (Bug #1791 (Closed): Fix Google-search link in the html documentation)
Anna Maria Bigatti
09:22 CoCoALib Bug #1791 (Closed): Fix Google-search link in the html documentation
I guess we just use "grep" to search in the documentation of CoCoALib, and we did not realize the Google search was b... Anna Maria Bigatti

13 Mar 2024

18:25 CoCoALib Feature #379 (Closed): Iter for subsets/tuples
Tested in ex-Taylor(2). Smooth.
I also added and example (2-subsets in {0,1,2,3}) in @ex-combinatoric1.C@
Anna Maria Bigatti
18:25 CoCoALib 0.50 hour (Feature #379 (Closed): Iter for subsets/tuples)
Anna Maria Bigatti
16:58 CoCoALib 0.25 hour (Feature #1559 (In Progress): Default ctor for rings)
Anna Maria Bigatti
16:58 CoCoALib Feature #1559: Default ctor for rings
Anna Maria Bigatti wrote:
> By Winfried Bruns:
> But how can I store RingElem in the cone? They must belong to a po...
Anna Maria Bigatti
16:49 CoCoALib Feature #1559: Default ctor for rings
By Winfried Bruns:
I have forgotten the context, but the following is a scenario that has really come up. Normaliz...
Anna Maria Bigatti

12 Mar 2024

12:19 CoCoALib Bug #1789: GradingMat with negative weights should complain (or deal with them properly!!)
I investigated and found the confusion: in the lines... Anna Maria Bigatti
12:19 CoCoALib 0.50 hour (Bug #1789 (Closed): GradingMat with negative weights should complain (or deal with them properly!!))
Anna Maria Bigatti
08:23 CoCoALib Bug #1789 (Closed): GradingMat with negative weights should complain (or deal with them properly!!)
... Anna Maria Bigatti

11 Mar 2024

11:12 CoCoALib 0.50 hour (Slug #1049 (In Progress): GroebnerFan: slow examples)
Anna Maria Bigatti
11:12 CoCoALib Slug #1049: GroebnerFan: slow examples
... Anna Maria Bigatti
11:08 CoCoALib 0.50 hour (Slug #1057 (In Progress): Slug: Polynomial ring contructor slow with (big) matrix ordering)
Anna Maria Bigatti
09:39 CoCoALib Slug #1057: Slug: Polynomial ring contructor slow with (big) matrix ordering
John Abbott wrote:
> *Here is a benchmark* (since there was none given earlier:
Much better now with @IsZeroDet@....
Anna Maria Bigatti
09:39 CoCoALib 1.00 hour (Slug #1057 (In Progress): Slug: Polynomial ring contructor slow with (big) matrix ordering)
Anna Maria Bigatti
07:56 CoCoA-5 Feature #1671: Refactor C++ impl in OnlineHelp
John Abbott wrote:
> Currently @OnlineHelp.C@ uses CoCoALib for throwing error exceptions. It would be nice to make...
Anna Maria Bigatti
07:56 CoCoA-5 0.20 hour (Feature #1671 (New): Refactor C++ impl in OnlineHelp)
Anna Maria Bigatti

08 Mar 2024

18:00 CoCoALib 0.25 hour (Feature #1132 (New): Canonical homomorphism for (some) polynomial rings?)
Anna Maria Bigatti
18:00 CoCoALib Feature #1132: Canonical homomorphism for (some) polynomial rings?
Another convenient homomorphism would be a "BringIn-like" homomorphism (keeping the names of the indets: e.g. x maps ... Anna Maria Bigatti
17:34 CoCoALib Feature #379: Iter for subsets/tuples
John Abbott wrote:
> *ANNA* have you tested this?
I need to find where I wanted to use them: search in examples ...
Anna Maria Bigatti
17:34 CoCoALib 0.25 hour (Feature #379 (Closed): Iter for subsets/tuples)
Anna Maria Bigatti
17:20 CoCoALib Feature #202 (Closed): MatrixView/function for viewing a single row or column (RowMat, ColMat)
Anna Maria Bigatti
09:11 CoCoALib Feature #202 (Feedback): MatrixView/function for viewing a single row or column (RowMat, ColMat)
I found a good use in ex-IdealOfPoints1.C.
The comparison in readability between before and after is indeed quite st...
Anna Maria Bigatti
09:04 CoCoALib Feature #202 (Resolved): MatrixView/function for viewing a single row or column (RowMat, ColMat)
John Abbott wrote:
> I have just checked the code: it is in @MatrixView@ (as one would expect).
>
> I am not so h...
Anna Maria Bigatti
09:04 CoCoALib 0.50 hour (Feature #202 (Closed): MatrixView/function for viewing a single row or column (RowMat, ColMat))
Anna Maria Bigatti
17:17 CoCoALib Design #64 (Closed): submat takes only vector<long>
Anna Maria Bigatti
17:13 CoCoALib Design #64: submat takes only vector<long>
This issue, as described, was rejected by answer 2 (#64#note-2).
For the other questions mentioned here, we have fol...
Anna Maria Bigatti
10:02 CoCoALib 0.25 hour (Design #64 (Closed): submat takes only vector<long>)
Anna Maria Bigatti
10:02 CoCoALib Design #64 (Resolved): submat takes only vector<long>
I went through all the calls of submat in CoCoALib and indeed most of them are just the first rows.
We could have an...
Anna Maria Bigatti
17:08 CoCoALib Feature #1788: New MatrixView/function "FirstRows/FirstCols"?
After personal discussion, we agreed on new function (until we believe a new class would be considerably better) Anna Maria Bigatti
17:07 CoCoALib 0.50 hour (Feature #1788 (Closed): New MatrixView/function "FirstRows/FirstCols"?)
Anna Maria Bigatti
10:11 CoCoALib Feature #1788 (Closed): New MatrixView/function "FirstRows/FirstCols"?
I went through all the calls of submat in CoCoALib (not so many) and indeed most of them just select the *first rows*... Anna Maria Bigatti
14:34 CoCoALib Design #908 (Closed): Sum of ideals: what are the generators of (x) + (0)?
Closing because duplicated into #1647 Anna Maria Bigatti
08:29 CoCoALib Feature #1748: July 2023
John Abbott wrote:
> Here is a list of topics we should look at:
> * fix configuration on Mac M1/M2
I think onl...
Anna Maria Bigatti
 

Also available in: Atom