Activity
From 15 Feb 2022 to 16 Mar 2022
16 Mar 2022
-
20:24 CoCoALib Support #1673 (New): Review examples
- We should review the examples.
* some probably need to be updated thanks to new features added
* some are hard to c... -
19:26 CoCoA-5 Support #1393 (Feedback): GUI with Qt5
- I have checked in. Also improved @configure@ (to be more helpful).
Modified some code to eliminate compiler warning...
15 Mar 2022
-
12:01 CoCoALib Support #1672 (New): Documentation: a good model to follow?
- I found the following link which claim that Arch Linux doc is particularly well written:
https://www.theregister.com...
12 Mar 2022
-
19:23 CoCoA-5 Support #1393: GUI with Qt5
- Why does the code compile without *@#include <thread>@*? (in file @C5.H@)
-
19:18 CoCoA-5 Support #1393: GUI with Qt5
- It works for me too :-)
I'll clean up, and check into CVS.
Thanks to Ulrich!
07 Mar 2022
-
16:58 CoCoA-5 Bug #1029 (Closed): Readline: does not recognize interrupts
-
15:32 CoCoA-5 Feature #1526 (Closed): EmacsUI: help/manual for selected string -- or just for word with cursor on?
-
15:29 CoCoA-5 Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on?
- Chosen key-binding / shortcut: C-c C-h
works also for running cocoa5 (comint) window -
10:42 CoCoALib Design #1649: Add file SparsePolyOps-vector.C
- We decided @syz@ to be in submodule.C. Checked in.
-
10:26 CoCoA-5 Slug #1629: RingElem slow with many indets
- Discussion:
John Abbott wrote:
> Anna implemented a quick fix: it was much faster, but would also sometimes give... -
10:04 CoCoALib Support #1555 (Closed): Software licence
05 Mar 2022
-
14:48 CoCoALib Feature #1652 (In Progress): Add LM to cocoalib ?
- Any progress to report here? Also Gereon Kremer is hoping to use @DivAlg@.
It is surprising that it is (apparently)...
04 Mar 2022
-
17:36 CoCoALib Support #1612 (Closed): Merge the doc file RadicalMembership.txt into ideal.txt
- done.
I also consequently cleaned it up.
03 Mar 2022
-
20:47 CoCoA-5 Support #1393: GUI with Qt5
- John Abbott wrote:
> I did also try switching to @std::thread@ etc. Everything compiled, but @C5@ would crash insta... -
16:54 CoCoA-5 Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on?
- Current impl just looks up the word around cursor -- it ignores the selected region.
It also advances the cursor pas... -
15:46 CoCoA-5 Support #530 (Rejected): Interpreter error message: "for" with missing "do"
- Thinking about it, this just follows our human expectation for "x".
If we had... -
15:29 CoCoALib Feature #1670: Build also dynamic/shared library for CoCoALib?
- There is some information at the following URL -- no idea how reliable it might be.
@https://tldp.org/HOWTO/Program-... -
14:55 CoCoA-5 Feature #1671 (New): Refactor C++ impl in OnlineHelp
- The code in @OnlineHelp.C@ needs to be refactored (to make it smaller and more maintainable; extreme speed is not imp...
-
14:42 CoCoALib Support #1555: Software licence
- Gereon has confirmed that the trial version seems to be fine for his purposes:
in ptic, he needed a revised copyrigh...
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
Also available in: Atom