CoCoA

02 Aug 2016

15:03 CoCoALib Support #774 (Closed): Rename file PPMonoidEvZZ

This should never really have been opened; it was solved ages ago in issue #22.
I shall just delete the useless fi... John Abbott

15:00 CoCoALib Feature #361: implement IsPrime3, IsMaximal3

In a discussion with John Abbott and Mario Albert we got these points
in the case where a bool3 flag is in a class (... Anna Maria Bigatti

11:55 CoCoALib Feature #898: New function: cardinality of finite field?

The name *@ExtensionDeg@* is very tempting, and "feels quite mathematical". However, I am uncertain what its interfa... John Abbott

11:26 CoCoALib Bug #895 (Closed): NumDigits: sometimes gives wrong answer

After dicussing with Anna, we have decided to rename @NumDigits@ to @SizeInBase@ which mirrors the GMP fn name.
The ... John Abbott

10:55 CoCoALib Feature #913 (New): Read input from SymbolicData database

Read input from SymbolicData database John Abbott

10:53 CoCoA-5 Feature #912 (In Progress): Add TUTORIALs to online manual

Add pages to built-in online manual to cover basics for (re)learning CoCoA-5.
John Abbott

27 Jul 2016

17:35 CoCoA-5 Support #911 (In Progress): CoCoA-5 prompt for incomplete input

The printed prompt is actually made of 3 parts:
* the type of the last unclosed block (or empty if none)
* the cont... John Abbott

17:13 CoCoA-5 Support #911: CoCoA-5 prompt for incomplete input

The relevant code seems to be in @LineProviders.C:79--85@.
There are separate "continuation prompts" for 3 context... John Abbott

17:07 CoCoA-5 Support #911 (Closed): CoCoA-5 prompt for incomplete input

Werner reported a strange problem with CoCoA-5 saying that a result was too large to be printed.
It turns out that... John Abbott

22 Jul 2016

13:21 CoCoA-5 Slug #907: ApproxSolve very slow on this example

Do you really need lex? I vaguely recall using several eliminations to compute the various polynomials of the form @... John Abbott

12:17 CoCoA-5 Slug #907: ApproxSolve very slow on this example

John Abbott wrote:
> OK. @ApproxSolve2@ solves the problem in about 0.8s (on my old MacBook... it'll be faster on t... Anna Maria Bigatti

11:43 CoCoA-5 Slug #907: ApproxSolve very slow on this example

OK. @ApproxSolve2@ solves the problem in about 0.8s (on my old MacBook... it'll be faster on the new computer, if De... John Abbott

12:47 CoCoA-5 Feature #909: ReadExpr: decimal point

A simple quick test passed: @ReadExpr(P, "1.2*x");@ produced the expected result.
JAA notes that there is a minor ... John Abbott

21 Jul 2016

21:59 CoCoA-5 Slug #907: ApproxSolve very slow on this example

John Abbott wrote:
> I have just tried the examples again (after Anna revised @ApproxSolve@ yesterday or this mornin... Anna Maria Bigatti

21:57 CoCoA-5 Slug #907 (In Progress): ApproxSolve very slow on this example

I have just tried the examples again (after Anna revised @ApproxSolve@ yesterday or this morning). It still seems to... John Abbott

17:19 CoCoA-5 Feature #909 (Resolved): ReadExpr: decimal point

I have made the necessary (small) changes to @RingElemInput.C@.
Currently there is no specific test for @ReadExpr@, ... John Abbott

10:58 CoCoA-5 Feature #909: ReadExpr: decimal point

Anna pointed out that CoCoA-4 has always converted "decimal" numbers into exact rationals; CoCoA-5 does so too. So i... John Abbott

16:40 CoCoALib Feature #910 (Feedback): BigRat: read from a string in "decimal" format?

I have cleaned the code and checked in. It's a bit ugly :-(
John Abbott

15:36 CoCoALib Feature #910: BigRat: read from a string in "decimal" format?

I now have a first impl (with test suite). I implemented *(A)* and *(B)*, but it is easy to restrict to just *(A)*. ... John Abbott

13:58 CoCoALib Feature #910: BigRat: read from a string in "decimal" format?

John Abbott wrote:
> Exactly what syntax do we want for decimal fractions?
> * *(A)* <optional-sign><unsigned-integ... Anna Maria Bigatti

13:42 CoCoALib Feature #910 (In Progress): BigRat: read from a string in "decimal" format?

I have clarified (and made more stringent) the syntax for rational numbers. There are two possibilities:
* <optiona... John Abbott

13:27 CoCoALib Feature #910: BigRat: read from a string in "decimal" format?

I have looked quickly at the code for @operator>>@ for @BigRat@, and it probably contains a "small bug". The usual r... John Abbott

19 Jul 2016

22:44 CoCoALib Feature #565: FloatApprox for TwinFloat values?

How about the name @BinaryRatApprox@?
Mmm, well, that is exactly what @FloatApprox@ does in other cases, but it's ca... John Abbott

14:30 CoCoALib Feature #565: FloatApprox for TwinFloat values?

My argument that creating a @MantExp2@ structure makes evident the precision is correct, but there are several occasi... John Abbott

14:24 CoCoALib Feature #910: BigRat: read from a string in "decimal" format?

The functions which need to be considered are: @operator>>@ and @ConvertTo@.
JAA observes that CoCoA-5 (and older ... John Abbott

14:22 CoCoALib Feature #910 (Closed): BigRat: read from a string in "decimal" format?

Currently @operator>>@ for @BigRat@ expects the input to be of the form: integer or integer "/" integer.
Should it... John Abbott

13:21 CoCoA-5 Feature #909: ReadExpr: decimal point

The current code simply uses @operator>>@ for a @BigInt@.
We could replace it with @operator>>@ for @BigRat@, but th... John Abbott

10:12 CoCoA-5 Feature #909 (Closed): ReadExpr: decimal point

The function @ReadExpr@ should also read the decimal point... Anna Maria Bigatti

08:16 CoCoA-5 Slug #907: ApproxSolve very slow on this example

I've added the improvements we talked about at ICMS Berlin.
Now this example is almost instant :-) :-)
There are a ... Anna Maria Bigatti

14 Jul 2016

20:44 CoCoALib Design #908 (Closed): Sum of ideals: what are the generators of (x) + (0)?

The current strategy is that the generators of the sum is the concatenation of the generators of the two ideals. Is ... Anna Maria Bigatti

09:25 CoCoA-5 Slug #907: ApproxSolve very slow on this example

On my old MacBook with CoCoA-5.1.5 this computation took more than 1 hour (then I stopped it).
John Abbott

09:24 CoCoA-5 Slug #907 (Closed): ApproxSolve very slow on this example

While "playing" with a demo of sparse squares, I noticed that @ApproxSolve@ is strangely slow on this example (while ... John Abbott

13 Jul 2016

13:14 CoCoALib Feature #902 (Resolved): New function: FrobeniusMat

John Abbott

11:19 CoCoALib Design #906 (New): External libraries: keep copy of compatible versions?

We should keep copies of external libraries guaranteed compatible with cocoalib.
(also useful for compiling old ver... Anna Maria Bigatti

07 Jul 2016

13:51 CoCoALib Bug #905: txt2tags: double quotes wrong in LaTeX

I had a quick look at the txt2tags website. It seems likely that a "filter" can solve the problem, but I don't know ... John Abbott

13:49 CoCoALib Bug #905 (Closed): txt2tags: double quotes wrong in LaTeX

txt2tags does not correctly handle double quotes when generating LaTeX.
The end result is that the PDF generated h... John Abbott