Project

General

Profile

Activity

From 11 Oct 2016 to 09 Nov 2016

09 Nov 2016

18:07 Feature #954: New function: StdBasis (standard basis)
Fixed a bug (with Robbiano) Anna Maria Bigatti
17:37 Feature #965 (Closed): New function: multigraded BettiNumbers
Add functions to print resolutions with multigradings and their Betti numbers
(BettiMatrix and BettiDiagram cannot b...
Anna Maria Bigatti
13:51 Slug #948: radical is slow (compared to singular) on these examples
I have found the (a?) slow step: there is a call to @saturate(I, ideal(RingElem(RingOf(G),G1)))@ taking a long time. Anna Maria Bigatti

08 Nov 2016

16:17 Bug #963 (Feedback): Manual: XML problem with html doc
I cheated: instead of trying to understand XSL I just changed the few "<" into "&amp;lt;".
Works smooothly now.
(...
Anna Maria Bigatti
15:04 Feature #964 (New): New function: MakeMultiset?
Sometimes a function seeing a list as multiset (and counting the repeated elements) could be useful.
In practice som...
Anna Maria Bigatti
14:40 Slug #948: radical is slow (compared to singular) on these examples
Here is another example: CoCoA-5 took about 760s, while Singular took about 0.6s (more than 1000 times faster).
<pr...
John Abbott

07 Nov 2016

16:23 Bug #963 (Closed): Manual: XML problem with html doc
There is a problem for the manual of @StagedTrees@ because there is a "<".
I thought that was sorted out a long time...
Anna Maria Bigatti
15:55 Support #851: Release: CoCoA-5.2.0
First pre-release for linux (64-bit) Anna Maria Bigatti

05 Nov 2016

17:44 Bug #755: Find out how to compile statically on linux
A recent email from Michael Wheat reports that installing *@libopenblas@* is not sufficient (at least not for him).
...
John Abbott

02 Nov 2016

17:33 Feature #960: New function: IdealAndSeparatorsOfPoints
Which target version were you thinking of? John Abbott
17:19 Feature #960: New function: IdealAndSeparatorsOfPoints
What target version do you want for this? 8-O
John Abbott
09:01 Feature #960 (New): New function: IdealAndSeparatorsOfPoints
Check why it isn't yet available: problems for output type in CoCoALib? Anna Maria Bigatti

27 Oct 2016

17:15 Feature #959 (Feedback): New function: SymmetricPolys
Anna Maria Bigatti
17:12 Feature #959 (Closed): New function: SymmetricPolys
[request by L.Robbiano]
SymmPoly = lista dei SymmPoly[D]
SymmPoly[D] = somma dei monomi squarefree di grado D
...
Anna Maria Bigatti
08:55 Feature #954 (Feedback): New function: StdBasis (standard basis)
Anna Maria Bigatti
08:54 Feature #954 (Closed): New function: StdBasis (standard basis)
This is essentially the same as TgCone, but without selecting the Initial forms and returning a LIST (a bit like Gbas... Anna Maria Bigatti

19 Oct 2016

10:16 Slug #948: radical is slow (compared to singular) on these examples
The first example (with 24 indets) was consuming over 7Gbytes of RAM after 15 hours of CPU, so I killed the process (... John Abbott

18 Oct 2016

15:16 Slug #948: radical is slow (compared to singular) on these examples
I've just added a first check if the ideal is zero-dimensional.
Thanks to our new MinPoly that is much faster.
This...
Anna Maria Bigatti
15:01 Slug #948: radical is slow (compared to singular) on these examples
Here is Mario's second example: I have chosen @ZZ/(101)@ for the coeffs, but the original was over @QQ@... John Abbott
15:00 Slug #948: radical is slow (compared to singular) on these examples
Here is Mario's first example: I have used coeffs in @ZZ/(101)@ but the original was over @QQ@... John Abbott
14:59 Slug #948 (Closed): radical is slow (compared to singular) on these examples
Mario gave me two examples where Singular computes the radical *much* faster than CoCoA does.
I'll put the examples ...
John Abbott

17 Oct 2016

17:41 Bug #946: Function "ideal" evaluates the argument twice
From looking at the code in @BuiltinFunctions-CoCoALib.C@, here is a list of other suspect impls:
* *@len@*
* *@syz...
John Abbott
13:13 Bug #946: Function "ideal" evaluates the argument twice
Oh dear! The problem is more widespread. Even @len@ evaluates its arg twice 8-O
John Abbott
12:39 Bug #946: Function "ideal" evaluates the argument twice
Are there any other fns with a similar problem? 8-{
John Abbott
12:18 Bug #946: Function "ideal" evaluates the argument twice
Here is some code we could add to one of the CoCoA-5 tests:... John Abbott
11:40 Bug #946: Function "ideal" evaluates the argument twice
Two test cases:... John Abbott
11:36 Bug #946 (In Progress): Function "ideal" evaluates the argument twice
Having just looked at the code, I'm not entirely surprised.
Also why are there calls to @evalArgAsListOfRingElem@ ...
John Abbott
11:03 Bug #946 (Resolved): Function "ideal" evaluates the argument twice
@ideal(RING, func(...))@ evaluates func once,
@ideal(func(...))@ evaluates func twice.
Anna Maria Bigatti

14 Oct 2016

16:34 Slug #709: Speed of some Normaliz calls (NmzComputation)
I have reconfirmed that there is strange behaviour on the Linux machine here in Kassel. Compiler is @g++@ version 5.... John Abbott
14:43 Feature #877: Easier syntax to make a PRINCIPAL ideal?
Getting a better error message from the input @ideal(R,x)@ would be decidedly tricky. The error is actually triggere... John Abbott
14:31 Feature #877: Easier syntax to make a PRINCIPAL ideal?
The source code the *@ideal@* function in CoCoA-5 appears to start at about line 1520 in @BuiltInFunctions-CoCoALib.C... John Abbott
13:20 Bug #757: readline: fix script for finding libreadline
The options relating to @readline@ have inconsistent names:
* *@--with-readline=@*
* *@--with-libreadline=@*
The...
John Abbott

13 Oct 2016

17:45 Feature #927 (Feedback): Add "exit" in addition to "ciao"
I have also change the "goodbye pop-up window" in the GUI so that it says "Ciao" instead of "Bye".
John Abbott
17:40 Bug #100: BringIn should map only the indets in its arg
This will be a little tricky so postponing. John Abbott
17:29 Support #181: Functions throwing error even though (trivially) defined
Another postponement. It is probably nice for a user to find in a single place a summary of the main quirks/foibles ... John Abbott
17:25 Feature #7: Automatic mapping between (some) rings
No chance of finishing this is in the near future; postponing by 1 version.
John Abbott
14:25 Bug #757: readline: fix script for finding libreadline
Should there also be an option to say not to use @readline@ even if it is present?
If so, what should the option be ...
John Abbott
13:39 Design #491: Cleaning: Cruft in CoCoA-5 packages
This issue seems dormant, in reality every time we open a package we clean it up a little bit ;-)
(for example with ...
Anna Maria Bigatti
13:12 Design #491: Cleaning: Cruft in CoCoA-5 packages
This is going to be a long and tedious job; moreover it should probably be done when Anna and I can be together.
F...
John Abbott
13:08 Bug #755 (In Progress): Find out how to compile statically on linux
Since the fns which depend on @libblas@ are not documented, perhaps all public versions should be without them (not j... John Abbott
13:05 Feature #183: Template for unaryMinus?
Postponing again; also lowered priority to *low*.
John Abbott
13:03 Bug #712: External Libs: missing dependencies in Makefiles
Postponing because I have no idea how to resolve this (certainly not in the near future). John Abbott
12:59 Feature #857: floor, ceil, and NearestInt for RingElem in CoCoA-5?
I am postponing this issue; perhaps I'll wait until it becomes "necessary" for some other task, then decide what to d... John Abbott
12:57 Bug #519: GUI: fix DEFINES in makefile
This has been dormant for over two years; should we just close it? I guess Limbeck is/was unable to test it for us. John Abbott

12 Oct 2016

18:25 Bug #945: Emacs UI: comint buffer silently truncates(?) long lines when sending
The following URL may help:... John Abbott
17:19 Bug #945: Emacs UI: comint buffer silently truncates(?) long lines when sending
One easy way to avoid the problem is to paste the line into a buffer in @cocoa5-mode@ (_e.g._ associated to a CoCoA-5... John Abbott
17:15 Bug #945: Emacs UI: comint buffer silently truncates(?) long lines when sending
Note that issue #433 dealt with the problem of sending long lines from a @cocoa5-mode@ buffer to the interactive CoCo... John Abbott
17:08 Bug #945 (Closed): Emacs UI: comint buffer silently truncates(?) long lines when sending
I sent a long line to an interactive cocoa5 inside emacs (v.24.5).
CoCoA saw only the first part of the input line; ...
John Abbott
16:56 Feature #13: (short) manual for emacs interface
This is probably not the right place, but I happened upon the following web page about problems with Emacs becoming v... John Abbott
16:02 Support #851: Release: CoCoA-5.2.0
Add also to check whether the CoCoA-5 tests pass with @BackwardCompatible.cpkg5@
(automatize this step)
Anna Maria Bigatti
15:58 Support #851 (In Progress): Release: CoCoA-5.2.0
First round of @make ManExamples@
(checked and made a few fixes in Makefile)
Anna Maria Bigatti
15:07 Design #943: Managing credits
Yes, it would be good to find a way of giving recognition to those who have contributed to CoCoA(Lib).
A possible ...
John Abbott
14:29 Design #943 (In Progress): Managing credits
From #711 (8) (External Libs: print credits?)
If we do implement some scheme for recognising use of external librari...
Anna Maria Bigatti
14:33 Feature #711 (Feedback): External Libs: print credits?
list of linked libraries is printed what cocoa starts.
For the refinements I opened issue #943.
Feedback on this? ...
Anna Maria Bigatti
 

Also available in: Atom