Project

General

Profile

Activity

From 24 Oct 2016 to 22 Nov 2016

22 Nov 2016

15:34 Support #977: "universal denominator" (related with GroebnerFanIdeals)
I have implemented @SmallestNonDivisor@ (see #979).
I'm still hoping to find a better name than @UniversalDenomina...
John Abbott
07:42 Support #977: "universal denominator" (related with GroebnerFanIdeals)
The other functions should be called @UniversalDenominator(I)@ and @SmallestExcellentPrime(I)@. Anna Maria Bigatti
13:09 Support #973: GroebnerFanIdeals: verbosity and output style
Out of curiosity.... Does GFan produce order matrices with smallest possible non-negative entries?
In the example fr...
John Abbott
11:25 Support #973: GroebnerFanIdeals: verbosity and output style
I have rewritten the man page for @GroebnerFanIdeals@ (and already checked in, if I recall correctly).
John Abbott
07:36 Support #973: GroebnerFanIdeals: verbosity and output style
Anna Maria Bigatti wrote:
> One possibility, for small examples (or for convincing the user it is not a good idea ;-...
Anna Maria Bigatti
07:32 Feature #964: New function: MakeMultiset?
John Abbott wrote:
> What applications do you have in mind?
I haven't yet replied because I cannot remember... I ...
Anna Maria Bigatti

21 Nov 2016

14:44 Support #973: GroebnerFanIdeals: verbosity and output style
John Abbott wrote:
> I think the confusion came from the way the documentation is worded.
>
> I have rerun the ex...
Anna Maria Bigatti
14:27 Support #973: GroebnerFanIdeals: verbosity and output style
I think the confusion came from the way the documentation is worded.
I have rerun the example from comment 2, and ...
John Abbott
09:40 Support #973: GroebnerFanIdeals: verbosity and output style
It would be nice to have as result the list of ideals *generated* by the reduced GBases, but in that way (in CoCoA-5!... Anna Maria Bigatti
14:41 Feature #978: CommonDenom: for polys and lists?
Some aspects to consider when deciding the semantics:
* we may assume that the result is positive (if coeffs in @QQ@...
John Abbott
14:34 Feature #978: CommonDenom: for polys and lists?
In fact there is already an undocumented builtin fn called @CommonDenom@, but only for RINGELEM. The fn also exists ... John Abbott
14:32 Feature #978 (Closed): CommonDenom: for polys and lists?
Should there be a function called *@CommonDenom@* (or something similar)?
For polynomials? For lists of polynomials?
John Abbott
09:47 Support #977: "universal denominator" (related with GroebnerFanIdeals)
I copied John's code for further experiments in our working dir MinPoly2016, file @Deltone.cocoa5@. CVS-ed Anna Maria Bigatti
09:36 Support #977: "universal denominator" (related with GroebnerFanIdeals)
By John Abbott:
Robbiano suggested that it could be interesting to find the first (or at least a smallish) good pr...
Anna Maria Bigatti
09:35 Support #977: "universal denominator" (related with GroebnerFanIdeals)
By John Abbott:
Does this code correctly compute the "universal denominator" for the ideal I?...
Anna Maria Bigatti
09:33 Support #977 (In Progress): "universal denominator" (related with GroebnerFanIdeals)
[Coming from our recent work on MinPoly]
It would be interesting to investigate the "universal denominator" of an id...
Anna Maria Bigatti

18 Nov 2016

22:20 Feature #865: Implicit: make easier to use with rational functions
Is there any reasonable chance of finishing this for the upcoming version? Or should we postpone it? John Abbott
22:14 Bug #755: Find out how to compile statically on linux
Michael Wheat reports that Anna's compilation (without libblas) works fine for him.
Does that mean we can make pro...
John Abbott
22:10 Feature #964: New function: MakeMultiset?
What applications do you have in mind?
In some ways it is not so different from a "factorization".
John Abbott
22:02 Support #973 (In Progress): GroebnerFanIdeals: verbosity and output style
moved to #977
Robbiano suggested that it could be interesting to find the first (or at least a smallish) good prim...
John Abbott
21:54 Feature #744: Handle interrupts more helpfully
The GUI seems to work tolerably well too.
There is a problem with underlining some expressions, but that problem e...
John Abbott
20:50 Feature #744 (Resolved): Handle interrupts more helpfully
I have just checked in a version of CoCoA-5 that should handle interrupts more nicely.
I have added a new handler ...
John Abbott

17 Nov 2016

22:52 Support #973: GroebnerFanIdeals: verbosity and output style
moved to #977
Does this code correctly compute the "universal denominator" for the ideal I? (...)
John Abbott
16:25 Support #973: GroebnerFanIdeals: verbosity and output style
John Abbott wrote:
> I tried @GroebnerFanIdeals@ on the following input:
> [...]
> The resulting list @GF@ has 195...
Anna Maria Bigatti
15:32 Support #973: GroebnerFanIdeals: verbosity and output style
I tried @GroebnerFanIdeals@ on the following input:... John Abbott
15:28 Support #973: GroebnerFanIdeals: verbosity and output style
I have given this a higher priority because I think it will be quick and easy to resolve.
@Anna: can you do it? (b...
John Abbott
15:27 Support #973 (Closed): GroebnerFanIdeals: verbosity and output style
Two mild criticisms:
* it prints out an asterisk for each fan ideal found
* the generators of the ideals are not mo...
John Abbott

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
 

Also available in: Atom