Activity
From 23 Oct 2016 to 21 Nov 2016
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... - 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 ... - 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!...
- 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@... - 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 ...
- 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? - 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
- 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... - 09:35 Support #977: "universal denominator" (related with GroebnerFanIdeals)
- By John Abbott:
Does this code correctly compute the "universal denominator" for the ideal I?... - 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...
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?
- 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... - 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".
- 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... - 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... - 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 ...
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? (...)
- 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... - 15:32 Support #973: GroebnerFanIdeals: verbosity and output style
- I tried @GroebnerFanIdeals@ on the following input:...
- 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... - 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...
09 Nov 2016
- 18:07 Feature #954: New function: StdBasis (standard basis)
- Fixed a bug (with Robbiano)
- 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... - 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.
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 "&lt;".
Works smooothly now.
(... - 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... - 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...
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... - 15:55 Support #851: Release: CoCoA-5.2.0
- First pre-release for linux (64-bit)
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).
...
02 Nov 2016
- 17:33 Feature #960: New function: IdealAndSeparatorsOfPoints
- Which target version were you thinking of?
- 17:19 Feature #960: New function: IdealAndSeparatorsOfPoints
- What target version do you want for this? 8-O
- 09:01 Feature #960 (New): New function: IdealAndSeparatorsOfPoints
- Check why it isn't yet available: problems for output type in CoCoALib?
27 Oct 2016
- 17:15 Feature #959 (Feedback): New function: SymmetricPolys
- 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
... - 08:55 Feature #954 (Feedback): New function: StdBasis (standard basis)
- 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...
Also available in: Atom