Project

General

Profile

Activity

From 14 Oct 2016 to 12 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
 

Also available in: Atom