Activity
From 01 Feb 2022 to 02 Mar 2022
02 Mar 2022
- 17:28 CoCoA-5 Support #169: Font for parameters in manual
- Also code snippets should be between tt's.
But *not for types*, e.g. INT, MODULE and RING, because they are alread... - 16:20 CoCoA-5 Support #169 (Resolved): Font for parameters in manual
- 16:14 CoCoA-5 Support #1268 (Closed): Documentation for how to write a CoCoA package
- This issue is a duplicate of #406. Closing.
- 16:11 CoCoA-5 Support #406 (Feedback): Manual for CoCoAManual/CoCoAHelp.xml
- Major discussion and work with John Abbott lead to some useful decisions and the consequent major update of the guide...
- 13:59 CoCoALib Feature #1670 (New): Build also dynamic/shared library for CoCoALib?
- Bruns asks whether we could arrange for CoCoA to build also a dynamic/shared library.
This should work on Linux/Ma...
25 Feb 2022
- 11:28 CoCoA-5 Support #1393 (Resolved): GUI with Qt5
- I have tried Ulrich's patches and it works!
I did also try switching to @std::thread@ etc. Everything compiled, b...
24 Feb 2022
- 17:59 CoCoALib Design #1669: Review File subtree hierarchy
- Some suggestions:
* separate @configuration@ from the subdir containing scripts.
* the subtree for CoCoA-5 document... - 17:57 CoCoALib Design #1669 (New): Review File subtree hierarchy
- After writing a script to make a copy of the sources,
I would like to suggest a review of the structure of
the sour... - 14:23 CoCoA-5 Support #530: Interpreter error message: "for" with missing "do"
- Is it really worth investing effort trying to fix this?
The err mesgs are inconsistent but nevertheless useful to th...
23 Feb 2022
- 12:54 CoCoA-5 Support #1447 (Closed): Manual entry for RandomLinearForm
- The new fn @HomogCompt@ seems to have solved the problem (provided the grading dim is 1).
I'll update the manual.
C... - 12:40 CoCoA-5 Feature #1596: Add CoCoA5 function NmzHilbertBasisKer
- Postponed to 5.4.2 because there are some matters still to be discussed:
* should the return value be a matrix over... - 12:37 CoCoA-5 Design #1194 (Rejected): Rename HilbertBasisKer into LinKerHilbertBasis?
- Rejected.
*HilbertBasisKer* will return a matrix, like *LinKer*.
The interface, rows or columns, QQ or ZZ, will be ... - 12:28 CoCoA-5 Support #1478 (Closed): HilbertBasis: clarify
- This has been completely resolved by introducing the new function *@NmzHilbertBasisKer@* (see issue #1596).
The new ... - 12:14 CoCoA-5 Bug #946: Function "ideal" evaluates the argument twice
- Mostly done, enough for CoCoA-5.4.0.
*Still to be fixed @submodule@* (see @bug-EvalTwice.cocoa5@).
Probably it is... - 12:07 CoCoA-5 Bug #1029: Readline: does not recognize interrupts
- This works for us now (my Ubuntu box, and Anna on the Linux VM).
We hope this means that the problem has been resolv... - 11:53 CoCoA-5 Design #1504 (Closed): OnlineHelp: XMLFileName
- Tested on linux and Mac. OK.
- 11:38 CoCoALib Design #1528 (Closed): MacOS compilation with clang
- 10:24 CoCoALib Support #1555 (Resolved): Software licence
- I think I have done this mostly now.... quite a gruelling, mind-numbing task. And, yes, it did take a tediously long...
- 10:00 CoCoALib Design #855 (Feedback): Copyright and authorship?
- I have done almost all source code files. The remaining exceptions are Simoes and Arri.
Already checked in.
18 Feb 2022
- 17:40 CoCoA-5 Support #1471: Release CoCoA-5.4.0
- Consider the number of changes since the last "official" release (5.3.2), and decide whether to call this one 5.3.4 o...
- 17:16 CoCoA-5 Support #1455 (Closed): In a release: which files inside the CoCoAManual
- 17:15 CoCoA-5 Support #1214 (Closed): CoCoAManual: ensure that LaTeX compilation is "clean"
- 17:13 CoCoA-5 Support #1451 (Closed): CoCoA Manual: make search keys public
- 17:09 CoCoA-5 Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on?
- Think and choose key binding for cocoa5 mode
- 17:01 CoCoA-5 Design #1525 (Closed): CoCoA Manual: homogenize obsolete/obsolescent entries
- 16:57 CoCoALib Feature #1001 (In Progress): CoCoALib: ideas for student projects
- This issue and #242 cover similar ground.
Suggestion: *split the 2 issues into: ones for CoCoA-5, and ones for CoC... - 16:55 CoCoA-5 Support #242 (In Progress): CoCoA-5 Projects for students (e.g. crediti F and tesi)
- This issue and #1001 cover similar ground.
Suggestion: *split the 2 issues into: one for CoCoA-5, and one for CoCo... - 16:50 CoCoA-5 Feature #1415: thmproving package
- I had renamed all functions with prefix "Thm".
Check it in, so that it is public, and then postpone this issue for p... - 16:34 CoCoA-5 Support #1534: Install CoCoA-5 on MacOS-10.15+
- See also this comment: #322#note-23
- 16:31 CoCoA-5 Support #322: Installation instructions (on website)
- Notes for myself:
compare the 3 installation pages and check they are similarly structured and informative. - 15:34 CoCoA-5 Support #322: Installation instructions (on website)
- I would still like o see more helpful guidance for linux users; not all linux users are experts.
How can one unpac... - 16:26 CoCoA-5 Bug #1029: Readline: does not recognize interrupts
- Maybe the simplest is to add this to the pre-release checks...?
- 16:22 CoCoA-5 Design #1407 (Closed): Tagged values (Hilbert Series)
- Still to do: sanity checks (make another issue, in case...)
- 15:32 CoCoALib Support #467 (Closed): Keep CoCoALib web page up to date! All pages!
- 15:26 CoCoALib Design #581 (Closed): C++14: MachineInt
- I have fixed some minor bugs -- Bruns compiled on some weird platform which highlighted them.
Checked in. Hoping it... - 15:24 CoCoALib Feature #1598 (Closed): RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix
- 15:03 CoCoALib Feature #1598: RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix
- This issue overlaps with Design #1467.
- 15:24 CoCoALib Design #1467 (Closed): Change syntax apply(phi,M) into phi(M)?
- 15:03 CoCoALib Design #1467: Change syntax apply(phi,M) into phi(M)?
- This issue overlaps with Feature #1598.
17 Feb 2022
- 21:22 CoCoA-5 Feature #1272 (Closed): Groebner Bases over ZZ
- 20:28 CoCoALib Feature #1598: RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix
- I have now removed @apply@ from all the packages as well... sigh!
All tests pass now. - 20:07 CoCoALib Feature #1598 (Feedback): RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix
- I have now made @apply@ obsolescent, and updated the doc.
Hopefully all is OK now... I'd better run the tests (sigh... - 19:37 CoCoALib Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)
- If we require that the supplied QB be in order (incr or decr?)
then the question about permutations goes away.
Ca...
16 Feb 2022
- 20:49 CoCoALib Support #1481 (Resolved): Release CoCoALib 0.99800
- 20:45 CoCoALib Feature #1580 (Closed): New fn prim for polys
- Closing this issue. Created new issue for the generalization: #1668
- 20:43 CoCoALib Feature #1668 (New): Generalize prim
- Generalize the function *@prim@* (see #1580).
Let it work in "towers" of extensions (where that makes sense).
- 20:41 CoCoALib Design #1528 (Feedback): MacOS compilation with clang
- I have just searched quickly for doc about the mem fns for sending OpenMath serializations, but found nothing.
The g... - 20:37 CoCoA-5 Support #1077: Manual: remove old stuff about "devices"
- We should eventually actually do this!!!
- 20:36 CoCoA-5 Support #1214 (Feedback): CoCoAManual: ensure that LaTeX compilation is "clean"
- 20:33 CoCoA-5 Design #1504 (Resolved): OnlineHelp: XMLFileName
- Can we close this issue?
- 20:25 CoCoALib Support #467 (Resolved): Keep CoCoALib web page up to date! All pages!
- I think this is largely automatic now.
Can we close?
- 20:23 CoCoA-5 Support #1534: Install CoCoA-5 on MacOS-10.15+
- *ANNA!* Please can you do this just before releasing?
- 20:21 CoCoA-5 Support #406: Manual for CoCoAManual/CoCoAHelp.xml
- I'm postponing this again.
Writing documentation is somehow always "low priority", but writing documentation about w... - 20:19 CoCoA-5 Design #1477 (Resolved): Packages: questions from Andraschko
- Point *(E)* is a very valid point; does Anna have a solution?
- 20:16 CoCoA-5 Support #1455 (Feedback): In a release: which files inside the CoCoAManual
- I guess we shall soon find out if the new script has overlooked some file(s).
Status: feedback.
- 20:15 CoCoA-5 Support #1451 (Feedback): CoCoA Manual: make search keys public
- 20:11 CoCoA-5 Support #1658 (Closed): LinKerZZ not documented
- No one objected to the name @LinKerZZ@, and the discussion in issue #206 seemed to favour that name.
So sticking wit... - 20:07 CoCoA-5 Feature #1479 (Closed): CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
- Closing after 1 year in feedback.
The only thing left is to remember to make 2 executables (if we want to do that).
- 20:02 CoCoA-5 Feature #606 (Closed): Evaluate in ring operator (was called :: in CoCoA-4)
- No one objected, so I am closing this issue.
I think a combination of @CanonicalHom@, @BringIn@ and @RingElem(R, str... - 20:00 CoCoALib Feature #1667 (In Progress): GBasis over ZZ: port to CoCoALib
- Port the GBasis over ZZ code (prototype in a CoCoA-5 package) into C++.
Also make several algorithmic improvements... - 19:57 CoCoA-5 Feature #1272: Groebner Bases over ZZ
- I'll close this as it is now in CVS, and should be in the next release (with 1 fn documented).
It could be a good st... - 19:53 CoCoA-5 Bug #1524 (Closed): wrong SystemCommand exit value
- Julian did report verbally (quite some time ago) that he had had problems with @SystemCommand@ working erratically:
... - 19:48 CoCoA-5 Bug #1029 (Resolved): Readline: does not recognize interrupts
- I suppose we should try to test the Linux executable just before distributing it.
Or should I make the executable on... - 19:42 CoCoALib Support #1666: MachineInt: chase through ULL changes
- We will need new tests too.
Oh joy! That C++ has inherited so many "complicated/confusing" integer types...
Desi... - 19:39 CoCoALib Support #1666 (In Progress): MachineInt: chase through ULL changes
- (2022-02-16) now using ULL as internal repr for @MachineInt@.
Must chase though all changes:
* check all calls to @... - 19:37 CoCoALib Design #581 (Resolved): C++14: MachineInt
- I have modified the impl to use @unsigned long long int@ as the internal repr;
there is also a second impl which use...
15 Feb 2022
- 21:43 CoCoALib Design #581: C++14: MachineInt
- This is not as straightforward as I was hoping.
It is not hard to change the internal repr (to @long long int@ or ev... - 10:49 CoCoALib Support #1665: Compilation on Windows: problems for normaliz
- You may need to set a "library path" to tell the system to look for libraries in "unusual places" (namely @/home/coco...
- 10:08 CoCoALib Support #1665: Compilation on Windows: problems for normaliz
- It seems that there is a similar problem on recognizing GMP libraries.
I compiled GMP on cygwin, and properly instal... - 09:57 CoCoALib Support #1665 (New): Compilation on Windows: problems for normaliz
- After the success on my Mac, I tried to compile normaliz-3.9.2 on windows/cygwin, but failed in the configuration (pr...
- 10:21 CoCoALib Support #1591 (Closed): Compilation of Normaliz
- Mac and Linux now done. I made a new issue for windows/cygwin #1665
14 Feb 2022
- 18:25 CoCoALib Feature #1235 (Closed): FreeModule: get canonical basis
- All done. Closing.
- 18:22 CoCoALib Support #618 (Closed): Instructions for compiling libnormaliz
- This is effectively superseded by issue #1591.
Closing -- the info here seems rather out of date.
- 18:16 CoCoA-5 Support #1660 (Closed): Updating file obsolescent.cpkg5: make it easier
- 18:10 CoCoALib Design #854 (Closed): Function MakeTermOrd should be renamed MakeTermOrdMat?
- 17:26 CoCoA-5 Design #1525: CoCoA Manual: homogenize obsolete/obsolescent entries
- Anna Maria Bigatti wrote:
> Possibly add the year
The release/date is now shown when the function is called (see ... - 17:13 CoCoALib Design #1649: Add file SparsePolyOps-vector.C
- I don't want to make hasty decision now, so this ("division related") is the state for release 0.99720.
Postponing... - 17:04 CoCoALib Design #1649: Add file SparsePolyOps-vector.C
- Checked in.
Changed version numer to 719 (very close to the official 720)
Now the file contains the division rela... - 12:45 CoCoALib Design #855: Copyright and authorship?
- John Abbott wrote:
> I have done the example files... I hope no mistakes.
> What about @ex-BencharkToolkit.C@? I h... - 11:01 CoCoALib Support #1664 (New): geobucket: documentation
- How can a user discover "geobuckets" and what they are good for?
Improve the documentation!
- 09:59 CoCoALib Design #1655 (Closed): Remove ability to compile CoCoALib against UNINSTALLED gmp?
- Dowloaded, compiled, (personal-)installed also on windows.
Instructions are good.
Closing
13 Feb 2022
- 13:10 CoCoA-5 Support #1663 (New): GCDList not documented
- The fn @GCDList@ is not documented.
- 11:00 CoCoALib Design #855 (Resolved): Copyright and authorship?
- I have done the example files... I hope no mistakes.
What about @ex-BencharkToolkit.C@? I have not changed that (c...
11 Feb 2022
- 18:20 CoCoALib Bug #1662: txt2tags: problem with filenames containing "_" or "-"
- How many files are affected? How many would need to have new names?
We could try contacting the txt2tags people to ... - 14:36 CoCoALib Bug #1662 (Resolved): txt2tags: problem with filenames containing "_" or "-"
- It seems that txt2tags has some problems with links to filenames containing "_" or "-".
I found this out trying to m... - 10:55 CoCoALib Design #855: Copyright and authorship?
- I have checked in yesterday's changes... lots of files.
Anna could you do a few spot checks to make sure that the on...
10 Feb 2022
- 19:51 CoCoALib Design #855: Copyright and authorship?
- I've done most/all files in @doc/txt/@ and @include/CoCoA/@ and @src/AlgebraicCore/@ and @src/tests/@.
Still to... - 14:07 CoCoALib Support #1591: Compilation of Normaliz
- This worked for me:...
- 13:26 CoCoALib Support #1591: Compilation of Normaliz
- Try...
- 13:05 CoCoALib Support #1591: Compilation of Normaliz
- John Abbott wrote:
> Did you try following comment 10?
yes, did not work: @$GMP_INSTALLDIR@ not used, that's why... - 12:38 CoCoALib Support #1591: Compilation of Normaliz
- Did you try following comment 10?
- 10:59 CoCoALib Support #1591: Compilation of Normaliz
- John Abbott wrote:
> I compiled Normaliz without any problems: here are my notes:
> [...]
They didn't work for m... - 13:29 CoCoALib Support #26: Redmine Administration
- Remember to close (as "admin") the closed releases. (I've just "closed" some old releases)
09 Feb 2022
- 20:20 CoCoALib Bug #1661 (Closed): Microsoft: cannot compile with signal handling
- Bruns reported by email a problem compiling on Microsoft:...
- 20:12 CoCoALib Feature #800 (Resolved): PPMonoidSparse: impl of sparse PPs
- The code is there, and there is a test: @test-PPMonoidSparse1.C@. However many lines are commented out in the test.
... - 19:43 CoCoALib Support #1591: Compilation of Normaliz
- I have also had success with @normaliz-3.9.2@ (just released). I did see several compiler warnings (about normaliz c...
- 19:41 CoCoA-5 Bug #922 (Closed): Release for MacOS: compilation on 10.11 incompatible with 10.6.8
- My 13 year old MacBook now has MacOS 10.11.6. So if anyone is stuck on 10.6.8, they must have a very old computer.
... - 16:45 CoCoA-5 Bug #922: Release for MacOS: compilation on 10.11 incompatible with 10.6.8
- Does it still matter?
Should we worry about 10.6? I guess John can still compile it for any user who asks for it.
... - 16:49 CoCoA-5 Bug #1539: Website: installation instructions for Microsoft
- John Abbott wrote:
> With luck the current instructions will be well tested over the next couple of weeks.
> I hope... - 16:38 CoCoA-5 Support #1660: Updating file obsolescent.cpkg5: make it easier
- Further improvement:
function PrintOBSOLESCENT and OBSOLETE, and variables for CoCoA versions.
Easier for the mai... - 14:26 CoCoA-5 Bug #946: Function "ideal" evaluates the argument twice
- fixed *evalArgAsListOfSymbols*, updated test (@NewPolyRing@)
08 Feb 2022
- 21:25 CoCoALib Design #1528 (Resolved): MacOS compilation with clang
- I have done the mind-numbing name replacement. All compiles OK: fewer warnings with clang.
Checked in. I wonder i...
07 Feb 2022
- 19:23 CoCoA-5 Support #1660 (Feedback): Updating file obsolescent.cpkg5: make it easier
- I've added the functions @ObsoleteFunc@ and @ObsolescentFunc@ producing the relevant string.
Now the code is easie... - 19:19 CoCoA-5 Support #1660 (Closed): Updating file obsolescent.cpkg5: make it easier
- The file "obsolescent.cpkg5" is designed to track the latest changes and help the user to keep his code up-to-date.
... - 18:39 CoCoALib Design #1528: MacOS compilation with clang
- I think I might impl the suggestion in comment 4. We can easily change the name later... just a global subst.
Poor ... - 18:27 CoCoA-5 Support #1658: LinKerZZ not documented
- I think there was some doubt as to what the correct name for this fn should be.
Don't recall the outcome: see issue... - 18:25 CoCoA-5 Support #1658 (Resolved): LinKerZZ not documented
- Written doc; added xrefs.
Found a bug (from the example put into manual); fixed it.
Will check in shortly.
- 17:27 CoCoA-5 Support #1658 (Closed): LinKerZZ not documented
- It seems that @LinKerZZ@ is callable from CoCoA-5, but is not documented.
Rectify (after checking that code is robus... - 17:59 CoCoALib Design #854: Function MakeTermOrd should be renamed MakeTermOrdMat?
- John Abbott wrote:
> I think I have changed the doc too!
I added to the doc (lib+5) a note on the renaming (so th... - 17:57 CoCoA-5 Feature #1659 (New): Jordan Normal Form?
- CoCoA-5 can compute @eigenvectors@ (in a particular way).
Would it make sense to try to make it compute Jordan block... - 16:26 CoCoALib Feature #1645: Implement monic0(f) for the case monic(0)?
- John Abbott wrote:
> Since I am hoping to make a release quite quickly, I prefer to postpone this issue to the next ... - 16:25 CoCoALib Feature #958: New function: multiplicity and dim
- Anna Maria Bigatti wrote:
> Yet to be fixed: non homogeneous input.
> (postponed again)
and again
06 Feb 2022
- 08:58 CoCoA-5 Support #1471: Release CoCoA-5.4.0
- Current CVS compiles, runs and all tests pass on Linux-64, Linux-32 and my old MacBook.
05 Feb 2022
- 21:05 CoCoA-5 Support #1455 (In Progress): In a release: which files inside the CoCoAManual
- I have changed the impl of the fn @copy-CoCoAManual@. I have checked it in without testing!!
*Anna:* please check m... - 20:40 CoCoA-5 Support #1455: In a release: which files inside the CoCoAManual
- I do not like the function @copy-CoCoAManual@ in the script @release-common.sh@.
Currently it copies everything, and... - 20:30 CoCoALib Support #1481 (In Progress): Release CoCoALib 0.99800
- 20:19 CoCoALib Feature #958: New function: multiplicity and dim
- Postpone?
- 20:17 CoCoALib Support #1591: Compilation of Normaliz
- I compiled normaliz on my old MacBook without any problems (following the instructions above, in comment 10).
- 20:16 CoCoALib Support #26: Redmine Administration
- According to the message at the bottom of each screen in redmine, the version we are using is about 5 years ago.
We ... - 20:13 CoCoALib Support #1612: Merge the doc file RadicalMembership.txt into ideal.txt
- I have renamed the files as in comment 2.
Any chance of getting the doc sorted out?
- 20:05 CoCoALib Feature #1645: Implement monic0(f) for the case monic(0)?
- Since I am hoping to make a release quite quickly, I prefer to postpone this issue to the next release (so we have ti...
- 19:41 CoCoALib Feature #1235 (Resolved): FreeModule: get canonical basis
- I have made a trivial impl (& written short doc).
Must also make available from CoCoA-5 (with doc).
- 17:51 CoCoALib Design #1528: MacOS compilation with clang
- I have just tried "mindlessly" changing names as suggested above on my MacBook.
That did indeed eliminate those tedi... - 13:18 CoCoALib Design #1528: MacOS compilation with clang
- I compiled on my MacBook yesterday, and all went well except for numerous warning about "hidden member fn" (or simila...
04 Feb 2022
- 22:38 CoCoALib Design #854: Function MakeTermOrd should be renamed MakeTermOrdMat?
- Now everything compiles and all tests pass.
Will check in soon.
I think I have changed the doc too!
- 22:17 CoCoALib Design #854 (Feedback): Function MakeTermOrd should be renamed MakeTermOrdMat?
- I have just renamed @MakeTermOrd@ to *@MakeTermOrdMat@*.
Checking that everything compiles; then will check in.
- 22:36 CoCoALib Slug #1057: Slug: Polynomial ring contructor slow with (big) matrix ordering
- The first line in commenrt 10 above is still about 50s... too slow!
How long does it take to compute the det of a 50... - 22:11 CoCoALib Support #1591 (Feedback): Compilation of Normaliz
- 21:12 CoCoALib Support #1591: Compilation of Normaliz
- I compiled Normaliz without any problems: here are my notes:...
- 22:07 CoCoALib Feature #1589 (Closed): IdealOfPoints: allow matrix of points to be defined over "wrong" ring
- This has been in feedback for 4 months without incident, so we can close.
- 22:05 CoCoALib Support #1265: Unregistered TXT files in doc
- There is a file called @SparsePolyOps.txt@ which seems to be devoid of meaningful content.
There are several files w... - 22:00 CoCoALib Support #613: Which ubuntu / debian packages are needed to compile CoCoA
- This should be updated after I have updated my Linux box (still on Ubuntu 18.04).
- 21:57 CoCoALib Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- How should this be done in a systematic way (which can be paused)?
Postponing since it is just "tidying up".
We mus... - 21:54 CoCoALib Design #855: Copyright and authorship?
- This is another "long and tedious" job. It needs to be done, but better when time pressure is less.
- 21:52 CoCoALib Design #1653 (Closed): Discriminant: return value
- 21:51 CoCoALib Support #1555: Software licence
- This should not be hard, but will probably take quite a lot of time... which is very scarce at the moment.
Postponin... - 21:50 CoCoALib Design #1547 (Closed): Require decimal mode for ostream?
- 21:49 CoCoALib Design #1655: Remove ability to compile CoCoALib against UNINSTALLED gmp?
- *Anna* please check everything is OK on your computer!
- 21:48 CoCoALib Design #1625 (Closed): Use new C++ keyword override
- No one has howled in the last 3 months, so closing.
Maybe on the next trip to Genoa I can check on Anna's computer. - 21:44 CoCoALib Bug #1601 (Closed): Compilation ambiguity
- Let's cross our fingers and hope that the problem has gone away by the time we jump to C++20.
Closing this issue....... - 21:40 CoCoALib Support #618: Instructions for compiling libnormaliz
- *This probably needs changing* after issue #1655.
How does this issue differ from #1591 ?
- 21:37 CoCoALib Feature #1488: BuiltIn Interreduce-Function
- This is still not documented -- Anna can you do this?
Should the code be put into @SparsePolyOps-vector@?
Presuma... - 21:33 CoCoALib Bug #1656 (Closed): SEGV in resultant
- I have added a test to @exbugs.cocoa5@ -- the one given in the description.
Closing.
- 21:31 CoCoALib Slug #1517 (Closed): RandomLinearForm
- The code works. If there is a real use-case where the low speed is a problem then we can create a new issue.
I thin... - 21:24 CoCoALib Feature #1633 (Closed): Make polynomial multiplication interruptible?
- 21:23 CoCoALib Design #1627 (Closed): Use keyword "delete" for deleted functions
- Maybe not perfect, but surely most cases have been added.
Not time efficient to search for any missed cases. Closing. - 21:20 CoCoALib Slug #1375 (Closed): Radical 0-dim: varied timings
- Maybe the current impl is not perfect, but it is good enough for these tests.
Closing.
- 21:14 CoCoALib Support #1618 (Closed): Tidy ex-RingElem2
- This has been at 90% for 3 months.
Cannot be bothered to check now. Just closing.
- 14:34 CoCoA-5 Feature #1272: Groebner Bases over ZZ
- I have documented @MinGBoverZZ@ but no other function. It is clearly marked as @[PROTOTYPE]@.
The package is now ca...
03 Feb 2022
- 20:14 CoCoA-5 Bug #1244 (In Progress): MSatLinSolve: req minor improvements
- I have added a quick test in @BuiltinFunctions-MathSAT.C@.
A very quick test worked as hoped. But it needs more tes... - 20:02 CoCoA-5 Feature #1415: thmproving package
- Status?
Even something hasty is perhaps better than nothing?
- 20:01 CoCoA-5 Support #1471 (In Progress): Release CoCoA-5.4.0
- I have been postponing lots of issues which cannot be closed in the very immediate future.
I really hope we can get ... - 19:41 CoCoA-5 Support #1471: Release CoCoA-5.4.0
- If we do make a hurried release (as I recommend), should we include a "health warning" that it is a hasty release?
- 18:52 CoCoA-5 Support #1471: Release CoCoA-5.4.0
- I'm wondering whether we should release 5.3.4 as soon as practicable... otherwise I doubt I'll be able to help make a...
- 19:57 CoCoA-5 Support #1393: GUI with Qt5
- I do not want to lose this, but there is never time... grrr!
- 19:51 CoCoA-5 Feature #1549: Add sagbi package
- Either do it fast for 5.3.4, or postpone to next release!
If you can write some simple doc quickly, we get the benef... - 19:48 CoCoA-5 Design #929: Clean up CoCoALibSupplement
- This is one of those "tedious but necessary tasks" for which it is almost impossible to find time.
So postponing....... - 19:47 CoCoA-5 Design #474: Eliminate package BinRepr
- Postponing once again.... we must eventually actually do this!
- 19:44 CoCoA-5 Design #1407 (Feedback): Tagged values (Hilbert Series)
- The comments suggest that this issue is essentially fixed.. so I have advanced the status to feedback.
- 19:40 CoCoA-5 Bug #1294 (Closed): CoCoA-5 tests may fail even if executed correctly
- No complaints in several months... must be OK.
Closing!
- 19:37 CoCoA-5 Bug #1443 (Closed): Illegal instruction
- This issue has been dormant for 2 years. I suppose whatever the problem was has gone away.
Closing!
- 19:35 CoCoA-5 Feature #1373: GFan also for Microsoft?
- A student (Nico Mexis) here in Passau has reported succeeding getting GFan working on Microsoft.
How to find time to... - 19:32 CoCoA-5 Bug #946: Function "ideal" evaluates the argument twice
- Can we close this issue? If not, postpone it!
- 19:30 CoCoA-5 Design #1504: OnlineHelp: XMLFileName
- I suppose the current status must be acceptable. No problems have been reported for a year.
Close?
- 19:28 CoCoA-5 Support #1447: Manual entry for RandomLinearForm
- Is this issue now resolved satisfactorily?
I guess so. If so, close it!
- 19:24 CoCoA-5 Support #1214: CoCoAManual: ensure that LaTeX compilation is "clean"
- Is this issue acceptably resolved? Close now?
- 19:14 CoCoA-5 Feature #1272: Groebner Bases over ZZ
- So that we do not lose what has been done....
I suggest making the existing code into an official package; we should... - 16:53 CoCoA-5 Feature #1272: Groebner Bases over ZZ
- What is the future of this package?
Florian is now rather busy with other things, so cannot in the foreseeable futur... - 19:10 CoCoA-5 Feature #606: Evaluate in ring operator (was called :: in CoCoA-4)
- Is this resolved to a satisfactory degree? I think @BringIn@ and @RingElem(P, string)@ cover most use cases.
Can we... - 19:07 CoCoA-5 Bug #1552: subst: not checking args properly
- The impl is rather messy.
I suppose the bus is not so terribly bad: it has not (apparently) caused trouble, and the ... - 19:03 CoCoA-5 Bug #1651 (Closed): SEGV subsets ??
- Too much stress to keep this open any longer. I'm pretty sure it is fixed now (and faster too).
Let the users do th...
02 Feb 2022
- 22:36 CoCoA-5 Feature #1272: Groebner Bases over ZZ
- I have a first version with modulus. I think it is probably faster, but still impressively slow :-/
I'll wait a bit... - 20:52 CoCoA-5 Feature #1272: Groebner Bases over ZZ
- To be ale to tackle non-trivial examples, it would be very helpful to have a way of reducing polynomials modulo any c...
- 20:17 CoCoA-5 Feature #1272: Groebner Bases over ZZ
- I have done some cleaning in the code, and have added a @SortBy@ to the list of pairs.
It seems to make the code run... - 16:49 CoCoA-5 Feature #1272 (In Progress): Groebner Bases over ZZ
- What is the status of this issue?
Is the latest version of the code above more-or-less ready to be included in a rel... - 20:19 CoCoALib Feature #1635 (In Progress): NR for polys with coeffs in PID
- There is probably an implementation in the "Gbasis over ZZ" package: see issue #1272.
- 11:16 CoCoALib Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- Oh joy!
Have fun if you decide to document functions whose name contain an underscore: LaTeX gives its usual crypt... - 10:48 CoCoALib Design #1655 (Resolved): Remove ability to compile CoCoALib against UNINSTALLED gmp?
- I have updated the doc, and checked in everything.
Hope Anna can check on her machine soon.
- 10:24 CoCoALib Feature #1657 (New): Improve CertifyNotPower
- In @NumTheory-root.C@ improve the impl of @CertifyNotPower@ to cover case where small prime divides (check multiplic...
Also available in: Atom