CoCoA Project

26 Oct 2019

09:53 CoCoA-5 Bug #1325 (Closed): Emacs UI: emacs does not recognize "until" as marking the end of a "repeat" block

tried. works. closed. Anna Maria Bigatti

08:47 CoCoA-5 Feature #673: Error message: I was expecting...

John Abbott wrote:
> Mind you, anyone who types in any of the above is just being a vandal (mmm, me too?)
Now cal... Anna Maria Bigatti

25 Oct 2019

18:27 CoCoA-5 Design #1352: cocoa5 (launch) script: sleep time

Added sleep to ConfigEmacs mac and linux Anna Maria Bigatti

18:06 CoCoA-5 Design #1352: cocoa5 (launch) script: sleep time

updated accordingly the scripts in @release-files/@ Anna Maria Bigatti

16:17 CoCoA-5 Design #1352: cocoa5 (launch) script: sleep time

Good point! I think we should set the same timings in the installation script (for Mac it's called @ConfigEmacs@) Anna Maria Bigatti

24 Oct 2019

08:23 CoCoA-5 Design #1348 (Feedback): cocoa5 script for releases

I recovered the check on 32/64 bits for linux even though we no longer distribute 32-bit.
(but this way the user get... Anna Maria Bigatti

23 Oct 2019

18:51 CoCoA-5 Design #1348: cocoa5 script for releases

I made a new release for mac and for linux on the webpage.
Anna Maria Bigatti

18:19 CoCoA-5 Design #1348 (Resolved): cocoa5 script for releases

Done, I believe.
Now testing comes.
Anna Maria Bigatti

22 Oct 2019

11:10 CoCoA-5 Slug #1284 (Closed): CartesianProductList: too slow

Anna Maria Bigatti

11:04 CoCoA-5 Bug #1288 (Closed): len for RINGELEM ?!?

Anna Maria Bigatti

21 Oct 2019

18:50 CoCoALib Feature #1347 (Feedback): New function: ctor of PPVector with vector<RingElem>

Done, tested, cvs-ed.
To do: documentation. Anna Maria Bigatti

18:49 CoCoALib Feature #1347 (Closed): New function: ctor of PPVector with vector<RingElem>

While updating the code for monomial ideals using the new range-based for loop I realized how many times I need to in... Anna Maria Bigatti

18:45 CoCoALib Design #1346 (In Progress): C++14: use the new for loop syntax where appropriate (like cocoa's foreach)

Anna Maria Bigatti

18:44 CoCoALib Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)

used massively for monomial ideals.
Tested.
cvs-ed. Anna Maria Bigatti

12:06 CoCoALib Design #1242: C++14: Use type auto where appropriate

John Abbott wrote:
> * use *@auto@* instead of the explicit type for C++ iterators (usu. the explicit type is "unrea... Anna Maria Bigatti

19 Oct 2019

20:28 CoCoALib Bug #1345: Problem with linking the library

John Abbott wrote:
> If you were running your tests from a @cocoa5@ session, then you should also check with @ls -l@... Anna Maria Bigatti

17:14 CoCoALib Bug #1345 (Closed): Problem with linking the library

My mistake?
I tried again, and I cannot longe reproduce it.
It is linked correctly.
Anna Maria Bigatti

11:43 CoCoALib Bug #1345 (Closed): Problem with linking the library

I was testing a change made in @SparsePolyOps-ideal-monomial.C@, and, though it did recompile the file, the new code ... Anna Maria Bigatti

18 Oct 2019

17:04 CoCoALib Design #1242 (In Progress): C++14: Use type auto where appropriate

Anna Maria Bigatti

16:16 CoCoALib Feature #1332 (Feedback): New function: vector of RingElem from string -- in CoCoALib

done, documented, tested Anna Maria Bigatti

17 Oct 2019

15:24 CoCoA-5 Design #1075: LaTeX package: power-product printing

John Abbott wrote:
> Perhaps the criterion in comment 3 should consider only those indets which actually appear in t... Anna Maria Bigatti

15 Oct 2019

17:52 CoCoALib Feature #1330 (Closed): New syntax for NewQuotientRing

Anna Maria Bigatti

17:48 CoCoALib Feature #1329 (Closed): New syntax for creating homomorphisms (PolyAlgebraHom)

Anna Maria Bigatti

17:33 CoCoALib Design #1336 (Closed): Rename SparsePolyOps-MonomialIdeal into SparsePolyOps-IdealMonomial?

Anna Maria Bigatti

15:33 CoCoALib Feature #1332: New function: vector of RingElem from string -- in CoCoALib

I like the name *@RingElems(R, str)@* because it recalls the constructor @RingElem(R, str)@.
The name I suggested ... Anna Maria Bigatti

15:29 CoCoALib Feature #1251 (Closed): New function: radical for monomial ideal

Anna Maria Bigatti

13:55 CoCoALib Support #1338: Release CoCoALib-0.99700

_Add to this list as we do things (or remember things we have already done)_
List of principal changes made:
Bu... Anna Maria Bigatti

13:49 CoCoALib Support #1338 (Closed): Release CoCoALib-0.99700

Everything related to making a CoCoALib release:

* Redmine Roadmap: close or postpone issue
* Redmine Release... Anna Maria Bigatti

13:47 CoCoALib Support #1276 (In Progress): Release 0.99650

Anna Maria Bigatti

11:49 CoCoA-5 Slug #948: radical is slow (compared to singular) on these examples

John Abbott wrote:
> My simple idea was just to add say 0.1 to the actual measured time: if minpoly is fast,
> this... Anna Maria Bigatti

11:41 CoCoALib Slug #1337 (In Progress): PrimaryDecomposition: a interesting/pathological example

This example is very very slow because a factor of @MinPolyQuot(t,I,t)@ produces an ideal with a very slow GBasis.
<... Anna Maria Bigatti

14 Oct 2019

22:22 CoCoALib Design #1336 (Closed): Rename SparsePolyOps-MonomialIdeal into SparsePolyOps-IdealMonomial?

We have these files:
SparsePolyOps-ideal.C,
SparsePolyOps-IdealOfPoints.C,
SparsePolyOps-IdealZeroDim.C
so, s... Anna Maria Bigatti

22:01 CoCoA-5 Slug #948: radical is slow (compared to singular) on these examples

We have another funny problem: @MinPoly@ is too fast ;-)
The timeout for @GBasis@ depends only on the time spent in ... Anna Maria Bigatti

17:32 CoCoA-5 Bug #1230 (In Progress): PrimaryDecomposition with lex ordering

Not quite :-/
there is still something dodgy:... Anna Maria Bigatti

17:03 CoCoA-5 Support #406: Manual for CoCoAManual/CoCoAHelp.xml

John Abbott wrote:
> Should we postpone this issue to the release after 5.3.0?
I think we should aim at 5.3.0.
I... Anna Maria Bigatti

11 Oct 2019

18:01 CoCoA-5 Design #1334: sylvester or SylvesterMat?

John Abbott wrote:
> Not really related: there is a function *@jacobian@* which returns the jacobian matrix. Should... Anna Maria Bigatti

10 Oct 2019

19:26 CoCoA-5 Design #1164 (Closed): Manual: loading manual entries written by users

Anna Maria Bigatti

19:20 CoCoALib Slug #1105 (Closed): Primary Decompositon (zero-dim) slow cases

Anna Maria Bigatti

18:41 CoCoALib Feature #1329 (Feedback): New syntax for creating homomorphisms (PolyAlgebraHom)

Anna Maria Bigatti

09:49 CoCoALib Feature #1329 (Resolved): New syntax for creating homomorphisms (PolyAlgebraHom)

Anna Maria Bigatti

18:41 CoCoA-5 Design #1327 (Feedback): Inconvenient PolyRingHom, PolyAlgebraHom

Anna Maria Bigatti

09:42 CoCoA-5 Design #1327 (Resolved): Inconvenient PolyRingHom, PolyAlgebraHom

The power of the new string syntax: can be defined in one line, and the strings are evaluated in the appropriate ring... Anna Maria Bigatti

18:40 CoCoALib Feature #1330 (Feedback): New syntax for NewQuotientRing

Anna Maria Bigatti

09:55 CoCoALib Feature #1330: New syntax for NewQuotientRing

reminder: write doc for cocoalib Anna Maria Bigatti

18:24 CoCoA-5 Support #1024 (Closed): CoCoA Manual: consistent spacing in VarName: TYPE

John Abbott wrote:
> To see an example of inconsistency, just type *@?:@* into CoCoA. This gives the page for infix... Anna Maria Bigatti

17:37 CoCoA-5 Design #168 (Closed): Type info in CoCoA-5 manual

Anna Maria Bigatti

17:27 CoCoA-5 Design #1334: sylvester or SylvesterMat?

John Abbott wrote:
> This fn should be in CoCoALib!
> Move it there and change its name; and put @sylvester@ into o... Anna Maria Bigatti

15:53 CoCoA-5 Design #1334 (In Progress): sylvester or SylvesterMat?

I vote for @SylvesterMat@ Anna Maria Bigatti

17:12 CoCoA-5 Support #1333: Typevectors

yes, fixed.
I wonder if I should resurrect this package...
Anna Maria Bigatti

16:04 CoCoA-5 Bug #1335: ManExamples: some problems

John Abbott wrote:
> I now see that the errors reported in the examples about hyperplane arrangements are intentiona... Anna Maria Bigatti

14:54 CoCoA-5 Feature #1243 (Resolved): New function: Read a string into a list (of RingElem) -- CoCoA-5

what about @RingElems(ring, string)@?
Similar to @RingElem(ring, string)@... or too similar?
One thing I do not l... Anna Maria Bigatti

09:57 CoCoA-5 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5

reminder: choose name and write doc for cocoa-5 Anna Maria Bigatti

08:41 CoCoA-5 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5

For the moment called (also in CoCoA) @ReadExprVector(ring, string)@.
Example @ReadExprVector(R, "x-1, y^3-2, x*z")@... Anna Maria Bigatti

09:57 CoCoALib Feature #1332: New function: vector of RingElem from string -- in CoCoALib

reminder: write doc for cocoalib Anna Maria Bigatti

09:56 CoCoALib Feature #1332: New function: vector of RingElem from string -- in CoCoALib

reminder: write doc for cocoalib Anna Maria Bigatti

09:33 CoCoALib Feature #1332 (Resolved): New function: vector of RingElem from string -- in CoCoALib

Anna Maria Bigatti

08:36 CoCoALib Slug #1238: ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead

Dramatic improvement using the new function @ReadExprVector@ in @ex-MVT-Simplicial.C@. (because the new function cre... Anna Maria Bigatti

08:33 CoCoALib Slug #1238: ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead

John Abbott wrote:
> 2019-09-23 This is still very slow. Here is a specific test case:
> [...]
New function @R... Anna Maria Bigatti

09 Oct 2019

18:22 CoCoALib Feature #1330 (Resolved): New syntax for NewQuotientRing

Now also for non principal ideals... Anna Maria Bigatti

17:53 CoCoALib Feature #1332: New function: vector of RingElem from string -- in CoCoALib

Done:
I think I've done it. ... after lots of tedious little mistakes!
Called @ReadExprVector(ring, string)@ in ... Anna Maria Bigatti

17:48 CoCoA-5 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5

I think I've done it. ... after lots of tedious little mistakes!
Called @ReadExprVector(ring, string)@ in @RingEl... Anna Maria Bigatti

08 Oct 2019

15:55 CoCoALib Feature #1332: New function: vector of RingElem from string -- in CoCoALib

maybe @CoCoAVector(R, string)@?
e.g.
@CoCoAVector(NewPolyRing(QQ,"x,y,z"), "x^2-3, y^3-1234567");@
Anna Maria Bigatti

15:49 CoCoALib Feature #1332 (Closed): New function: vector of RingElem from string -- in CoCoALib

In many cases in CoCoALib, and often also in CoCoA-5, it would be convenient to make a vector of RingElem from a stri... Anna Maria Bigatti

15:04 CoCoALib Feature #1330: New syntax for NewQuotientRing

documented, cvs-ed. Anna Maria Bigatti

14:41 CoCoALib Feature #1330: New syntax for NewQuotientRing

Implemented in CoCoALib, passed to CoCoA-5
For the moment, only for principal ideal... Anna Maria Bigatti

12:20 CoCoALib Feature #1330 (Closed): New syntax for NewQuotientRing

Making a quotient ring is often tedious. In CoCoA-5 we need to write (the best we can do):... Anna Maria Bigatti

12:16 CoCoALib Feature #1329 (Closed): New syntax for creating homomorphisms (PolyAlgebraHom)

Making a homomorphism is often tedious. In CoCoA-5 we need to write (the best we can do):... Anna Maria Bigatti

12:03 CoCoA-5 Design #1327: Inconvenient PolyRingHom, PolyAlgebraHom

John Abbott wrote:
> It would be nice if we could produce an easier way to make quotient rings. For example somet... Anna Maria Bigatti

08:57 CoCoA-5 Design #1327: Inconvenient PolyRingHom, PolyAlgebraHom

Alternative, without @use@:... Anna Maria Bigatti

04 Oct 2019

16:50 CoCoA-5 Design #1164: Manual: loading manual entries written by users

updated manual Anna Maria Bigatti

16:19 CoCoA-5 Feature #1290: NewPolyRing: allow symbols with just head and no indices?

It works now. (both Mac and Linux)
However, @NewPolyRing(QQ, "alpha");@ is better, isn't it? ;-)
Close? Anna Maria Bigatti

16:16 CoCoA-5 Bug #1273: NewPolyRing and SymbolRange together make a crash

Seems to work now, both on Mac and on Linux.
Close?
Anna Maria Bigatti

16:05 CoCoALib Feature #813: Implement "elim" in CoCoALib

Choose the syntax first... Anna Maria Bigatti

03 Oct 2019

17:41 CoCoALib Slug #1105 (Feedback): Primary Decompositon (zero-dim) slow cases

I agree: now the timings are no longer that horrible.
Indeed not bad ;-)
We can close this issue.
Have we compar... Anna Maria Bigatti

17:18 CoCoALib Design #1326 (Closed): Modify function myElim so that it returns ideal? (not quite)

Currently we have... Anna Maria Bigatti

17:08 CoCoALib Bug #935: ElimMat, ElimHomogMat: complain about zero or negative weights

Now I cannot remember WHY they should complain....
postpone to next version
Anna Maria Bigatti

15:43 CoCoALib Bug #1248 (Feedback): MinPolyQuot: guaranteed and ideal without GBasis

I think this is all done now: #1248-6
Also the principal ideal has been dealt with: #1249 Anna Maria Bigatti

15:24 CoCoALib Feature #1251 (Feedback): New function: radical for monomial ideal

done.
@ideal SparsePolyRingBase::IdealImpl::myRadical_MonId() const@
in @SparsePolyOps-MonomialIdeal.C@
does NOT m... Anna Maria Bigatti

10:43 CoCoALib Feature #1209 (Closed): New function: HasPositiveGrading

Done. Tested from CoCoA-5 (false for #1211, true in @anna.cocoa5@).
Anna Maria Bigatti

10:37 CoCoALib Bug #1211 (Closed): HilbertSeries should check grading

added a test in @CoCoA-5/tests/ErrMesg.cocoa5@
closed Anna Maria Bigatti

02 Oct 2019

12:49 CoCoALib Feature #1251: New function: radical for monomial ideal

Now the official function in CoCoALib is @radical_tmp@ (will be @radical@ when all code is written in CoCoALib)
Wh... Anna Maria Bigatti

12:07 CoCoALib Bug #1211: HilbertSeries should check grading

The problem is testing it...
Anna Maria Bigatti

12:07 CoCoALib Bug #1211 (Feedback): HilbertSeries should check grading

fixed using @HasPositiveGrading@, and proper testing. Anna Maria Bigatti

01 Oct 2019

15:42 CoCoALib Feature #1249 (Closed): principal ideal has a Gbasis

Anna Maria Bigatti