Activity
From 14 Dec 2017 to 12 Jan 2018
09 Jan 2018
-
18:17 Support #1061: Release: CoCoA-5.2.2
- John Abbott wrote:
> It seems that there should be an extra include directive in @BuiltinFunctions.C@:
> [...]
>
...
08 Jan 2018
-
14:53 Design #1146: Use Flatpak and/or Snap on Linux?
- I have given this low priority because I believe that "Flatpak" and "Snap" are still rather young ideas, and for us i...
-
- Some Linux distros support applications in "Flatpak" or "Snap" format.
I believe these are something like lightweigh...
23 Dec 2017
-
- It seems that there should be an extra include directive in @BuiltinFunctions.C@:...
22 Dec 2017
-
- I spent yesterday afternoon trying (without succeeding to compile on linux).
I had updated the system (when I unsucc...
21 Dec 2017
-
- fixed some little bugs without a redmine issue.
Now (when I succed in cvs-ing from the virtual linux) I'll start com... -
- compared CoCoATranslationTable with wordlist: consequent updates and fixes in both
20 Dec 2017
-
- for Anna: remember readline.a!!!!!
-
- More updates to TranslationTAble
-
- *2022-04-25: COCOALIB PROJECTS REMAIN IN ISSUE #1001*
I recall from another equivalent issue (and close it https://c...
19 Dec 2017
-
- some work on translation table
-
- passed ManExamples
-
- going through @time make ManExamples@
17 Dec 2017
-
- Now it also exports @implicit@, which is computed via @ker_H@.
-
- removed
15 Dec 2017
-
- John ported it to CoCoA-5.
I added it to the manual.
Found a bug: printing 0 coeff (this means it contains a summa... -
- NewZZmod allows big integers, and non-primes.
-
-
-
-
- Until the installation process actually becomes used by some people, it will be hard to debug it.
I think the curren... -
-
-
- Make a faster impl for monomial ideals.
Here is a contrived example of a slug:... -
- Postponing to next version; it is better to deal with all fns, and then close (rather than close after having dealt w...
14 Dec 2017
-
- this is related with @implicit@: it should (by default) return the ideal in a ring with weights, so that the generato...
-
- The defn of *@IsPrecedingNoCheck@* looks suspicious to me (compared to the defn in the article).
But changing the de... -
- The critical prime appears to be 223.
If I start the calculation from p=223, it reports that all other primes are BA... -
- In the example below @ImplicitModular@ decides that it has found a "better prime", but after that all primes seem to ...
Also available in: Atom