Activity
From 20 Jun 2016 to 19 Jul 2016
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... -
- My argument that creating a @MantExp2@ structure makes evident the precision is correct, but there are several occasi...
-
- The functions which need to be considered are: @operator>>@ and @ConvertTo@.
JAA observes that CoCoA-5 (and older ... -
- Currently @operator>>@ for @BigRat@ expects the input to be of the form: integer or integer "/" integer.
Should it...
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 ...
13 Jul 2016
-
-
- We should keep copies of external libraries guaranteed compatible with cocoalib.
(also useful for compiling old ver...
07 Jul 2016
-
- I had a quick look at the txt2tags website. It seems likely that a "filter" can solve the problem, but I don't know ...
-
- txt2tags does not correctly handle double quotes when generating LaTeX.
The end result is that the PDF generated h...
04 Jul 2016
-
- The source code for @SmallFpDoubleImpl@ includes its own impl of @InvMod@ which uses @double@ rather than an integral...
30 Jun 2016
-
- I am still a bit perplexed by this issue.
Having @InvMod@ always throw seems to me to be the cleanest and safest s...
29 Jun 2016
-
- Perhaps the best approach is not to worry about @noexcept@ at the moment since we have no experience of the feature. ...
-
- If we do adopt the idea of different signatures for throwing and non-throwing versions, which approach is better:
* ... -
- I have just thought of an argument in favour of Anna's proposed design (namely, different signatures).
In C++11 ther... -
- John Abbott wrote:
> Currently the @enum ErrorActionIndicator@ is defined inside @NumTheory.H@;
May we call it @e... -
- Currently the @enum ErrorActionIndicator@ is defined inside @NumTheory.H@; probably it should be moved to @utils.H@ s...
-
- 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 wrote:
> Your approach requires me to add 5 new signatures (for a total of 10);
good point!
-
- @Anna: your approach is quite possible but it is more awkward than what I have implemented.
My approach has an opt... -
- I'd rather have (as I said in comment #10)...
-
- I have implemented @enum ErrorActionIndicator { ThrowOnError, NoThrow };@
And the functions now have a 3rd arg @co...
28 Jun 2016
-
- John Abbott wrote:
> Perhaps the @NoThrow@ arg as suggested in comment 9 is clearer?
clearer
-
- Here is another proposal for the interface:
* @InvMod(r,m)@ throws if the inverse does not exist
* @InvMod(r,m, fla... -
- John Abbott wrote:
> Another possible interface is an optional 3rd arg to say not to throw: _e.g._ @InvMod(res,mod,N...
27 Jun 2016
-
- Another possible interface is an optional 3rd arg to say not to throw: _e.g._ @InvMod(res,mod,NoThrow)@. This avoids...
-
- We can indeed supply two (or more?) fns.
I like @InvMod@ as it currently is: it can be used conveniently inside a fo... -
- The documentation was already updated to say that @ERR:DivByZero@ is thrown if the inverse does not exist.
Note th... -
- Thinking about it: I would prefer to have 0 if it is relatively costly to determine if it is divisible.
We also ha... -
- The actual implementations in @NumTheory.C@ do throw rather than return 0 -- I do not know when the code was changed....
-
- *@ExtensionDeg@* is certainly clearer than *@ExtnDeg@*. Right now I cannot think of any good reason to push for succ...
-
- John Abbott wrote:
> I think it makes most sense to change @LogCardinality@ to @ExtnDeg@ (any other candidate names?... -
- I think it makes most sense to change *@LogCardinality@* to *@ExtnDeg@* (any other candidate names?), and then to rej...
-
- John Abbott wrote:
> I'm not enthusiastic about a function for computing the cardinality.
> * As Anna recalled, the... -
- I'm not enthusiastic about a function for computing the cardinality.
* As Anna recalled, there is already *@LogCardi... -
- JAA wrote in issue #107
> JAA wonders whether *@ExtnDeg@* may not be a better name for *@LogCardinality@*. The name ... -
- We currently have the function @LogCardinality@ for a finite field.
Should we also have @cardinality@?
Should it wo... -
- done, cvs-ed.
Needs proper testing -
- Convert code from CoCoA-5
-
- From existing functions in CoCoA-5
-
- Convert code from CoCoA-5
-
- Convert code from CoCoA-5
-
- Implemented, need proper testing.
-
- *2017-11*: actual setting of flags is discussed in #924
-
- Implementation of @IsMaximal@ for multivariate rings now allows working non-simple extensions.
25 Jun 2016
-
- In this case I think that the "backward compatibility" aspect is of relatively little importance.
If someone has use... -
- This has largely been completed; there remains only the mystery as to why @SimplestBigRatBetween@ is too slow -- this...
-
- Investigations in issue #860 showed that @SimplestBigRatBetween@ was mysteriously slower than expected (and than an e...
-
- I note there could be a "mild inconsistency" in the @RingTwinFloat@ implementation: let @N@ be a @BigInt@ and @x@ a t...
-
- Here are the new mem fns which every ring would have to offer:
* @myIsEqual(RingElem, MachineInt)@
* @myIsEqual(Rin... -
- Here are some pros and cons:
* *(+)* avoid making temporary ring-elem values (wasteful new-delete cycle);
* *(+)* s... -
- Currently all comparisons between a @RingElem@ and a @MachineInt@ (or @BigInt@ or @BigRat@) entails first converting ...
-
- I have updated the documentation for @RingTwinFloat@.
In practice the current impl of @myCmp@ deals first with the... -
-
- This has been in feedback for 3 months without any reports of problems.
Apparently the (new-ish?) test @test-Ordered... -
- I have added a new test (@test-bug7.C@) for this issue.
Since there have been no problems for 3 months, I am closing... -
- I have just tried a quick experiment comparing speeds: let @N := 10^(10^9);@
* @NumDigits(N,10)@ takes less than 0....
24 Jun 2016
-
- Which variants of @NumDigits@ should exist and what should they be called?
* base 10 possible name @NumDigits10@
*... -
- The GMP function is guaranteed to be fast (very fast!).
The correct definition is @NumDigits(N,base) = 1 + FloorLo... -
- @NumDigits@ is a direct call to the CoCoALib fn called @NumDigits@ which is a direct call to the GMP fn @mpz_sizeinba...
22 Jun 2016
-
- I have looked on the internet for "clever" ways to make our code compatible with both C++03 and C++11 (using @auto_pt...
-
- Just a quick note about doing a global replacement of @auto_ptr@ by @unique_ptr@. Open all files in emacs, then use ...
-
- I have just globally replaced @auto_ptr@ with @unique_ptr@.
Just 1 line in @TmpJBMill.C@ needed to be changed to get...
21 Jun 2016
-
- Apparently C++11 offers "strongly typed enum" which do not have automatic conversion to integer values.
This seems... -
- On the other hand, if we choose not to be "clever" then we can use normal (inline?) functions which always evaluate a...
-
- I would like that the definitions of @and3@ and @or3@ behave just like the built-in logical operators @operator&&@ an...
-
- Here are the files which use @std::auto_ptr@:
@GlobalManager.H@
@MemPool.H@
@SparsePolyRing.H@
@SugarDegree.H@
@...
20 Jun 2016
-
- The function @MinPoly@ (and @MinPolyQuot@) should be straight calls to @MinPolyDef/MinPolyDefQuot@
-
- The current functions should be renamed @MinPolyXXQuot(f, I, z)@
Also available in: Atom