CoCoA » CoCoALib

21 Jul 2016

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

19 Jul 2016

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

14 Jul 2016

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 Jul 2016

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

07 Jul 2016

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

04 Jul 2016

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

30 Jun 2016

13:59 Design #789: NumTheory: behaviour of InvMod when inverse does not exist

I am still a bit perplexed by this issue.
Having @InvMod@ always throw seems to me to be the cleanest and safest s... John Abbott

29 Jun 2016

17:54 Design #789: NumTheory: behaviour of InvMod when inverse does not exist

Perhaps the best approach is not to worry about @noexcept@ at the moment since we have no experience of the feature. ... John Abbott

17:42 Design #789: NumTheory: behaviour of InvMod when inverse does not exist

If we do adopt the idea of different signatures for throwing and non-throwing versions, which approach is better:
* ... John Abbott

15:32 Design #789: NumTheory: behaviour of InvMod when inverse does not exist

I have just thought of an argument in favour of Anna's proposed design (namely, different signatures).
In C++11 ther... John Abbott

15:21 Design #789: NumTheory: behaviour of InvMod when inverse does not exist

John Abbott wrote:
> Currently the @enum ErrorActionIndicator@ is defined inside @NumTheory.H@;
May we call it @e... Anna Maria Bigatti

15:18 Design #789: NumTheory: behaviour of InvMod when inverse does not exist

Currently the @enum ErrorActionIndicator@ is defined inside @NumTheory.H@; probably it should be moved to @utils.H@ s... John Abbott

15:15 Design #789: NumTheory: behaviour of InvMod when inverse does not exist

I have just checked in my impl. Perhaps Anna could have a look at it, and decide whether she thinks it is comprehens... John Abbott

15:12 Design #789: NumTheory: behaviour of InvMod when inverse does not exist

John Abbott wrote:
> Your approach requires me to add 5 new signatures (for a total of 10);
good point!
Anna Maria Bigatti

15:01 Design #789: NumTheory: behaviour of InvMod when inverse does not exist

@Anna: your approach is quite possible but it is more awkward than what I have implemented.
My approach has an opt... John Abbott

14:45 Design #789: NumTheory: behaviour of InvMod when inverse does not exist

I'd rather have (as I said in comment #10)... Anna Maria Bigatti

12:42 Design #789: NumTheory: behaviour of InvMod when inverse does not exist

I have implemented @enum ErrorActionIndicator { ThrowOnError, NoThrow };@
And the functions now have a 3rd arg @co... John Abbott