Activity

From 04 Jul 2016 to 02 Aug 2016

15:03 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 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 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 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 Feature #913 (New): Read input from SymbolicData database: Read input from SymbolicData database John Abbott

16:40 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 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 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 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 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

22:44 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 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 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 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

20:44 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

13:14 Feature #902 (Resolved): New function: FrobeniusMat: John Abbott
11:19 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

13:51 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 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

13:45 Feature #904 (New): SmallFpDouble: which impl of InvMod to use?: The source code for @SmallFpDoubleImpl@ includes its own impl of @InvMod@ which uses @double@ rather than an integral... John Abbott

Also available in: Atom

CoCoA » CoCoALib