Activity
From 13 Jan 2021 to 11 Feb 2021
11 Feb 2021
-
17:56 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer
- > Possible names are *@AffinePts@* and *@ProjectivePts@* (or *@ProjPts@*).
I vote for *@AffinePts@* and *@Projecti...
10 Feb 2021
-
22:11 CoCoALib Design #1576 (In Progress): cmp for machine integers
- I have added 2 impls to *@utils.H@*; one adapted from "cppreference". Not sure how much I trust this template stuff....
-
21:46 CoCoALib Design #1576: cmp for machine integers
- The impl of *@IsInRange@* should also be revised...
-
21:33 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer
- Feedback and constructive criticism are welcome!
I'd like to close this issue soon.
-
21:28 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer
- Now I wonder what the names of the fields in the records should be.
It may be sensible to use different names for th... -
20:50 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer
- Anna has approved the suggestion in comment 13 (just above) about returning a record.
Now I must impl, and revise th... -
20:36 CoCoALib Design #1511 (In Progress): Use C++14 constexpr
09 Feb 2021
-
15:22 CoCoA-5 Bug #727: Emacs UI: send-file (C-c C-f) should check if buffer and file are synchronized
- I got caught out by this just a short while ago.
I have searched on internet, but there does not seem to be an eas...
08 Feb 2021
-
16:13 CoCoALib Design #1576: cmp for machine integers
- Also need to revise @test-MachineInt2.C@
Currently I have hacked it to work with the current "implementazione zoppic... -
16:12 CoCoALib Design #1576 (In Progress): cmp for machine integers
- Redesign @cmp@ for machine integers so that it works in all cases.
Note that C++20 already @std::cmp_equal@, @std:... -
15:29 CoCoALib Design #925: MachineInt or long for args which are indices (yet again)
- I checked that NTL happily uses @long@ for indices into matrices.
So it is reasonable for us to use @long@ for "indi... -
15:00 CoCoALib Design #1572: Use noexcept
- After discussion with Anna:
* *(A)* a fn which could throw (but only via @CoCoA_ASSERT@) may be declared @noexcept@
...
06 Feb 2021
-
22:00 CoCoALib Design #1572 (Resolved): Use noexcept
- I have checked all files which I think might benefit from *@noexcept@*, and have changed most functions which can be ...
05 Feb 2021
-
15:41 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer
- I am wondering about changing the return value of @RationalSolve@ into a record, _e.g._
*currently* we get...
04 Feb 2021
-
21:05 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer
- I have modified my copy of the code. It now behaves more "predictably".
*@RationalSolve@* now searches only for _... -
14:49 CoCoALib Design #1572 (In Progress): Use noexcept
- I am not sure whether a function which has a local static variable can be @noexcept@.
I suppose, so long as the loca...
03 Feb 2021
-
18:20 CoCoALib Bug #1575 (New): DynamicBitset missing arg checks
- I have just looked at the code for @DynamicBitset@ (with the intention of putting in @noexcept@),
and noticed that s... -
18:18 CoCoALib Feature #1419: DynamicBitset::IamAll1s
- I think it might be tricky because inside the loop you need to check if you are at the last position, whereas the new...
-
17:48 CoCoA-5 Bug #1574: ApproxSolveTF
- I have set the target version as 5.3.6, but maybe it could be postponed?
It is a bit strange that the solution [0,... -
17:46 CoCoA-5 Bug #1574 (New): ApproxSolveTF
- @ApproxSolveTF@ is not documented. Maybe that is a good thing......
-
17:26 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer
- I now think it might be better to avoid the "clever" function @RationalSolve@ which tries to guess whether it should ...
02 Feb 2021
-
17:04 CoCoALib Design #934 (In Progress): MachineInt: change semantics?
- There is a second impl of @MachineInt@ in the current sources. The impl was not complete (but it is now).
However...
31 Jan 2021
-
10:43 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer
- Bernhard Andraschko reportes the following:...
30 Jan 2021
-
20:21 CoCoALib Bug #1570 (Feedback): FloatStr sometimes produces NUL chars
-
18:47 CoCoALib Bug #1570: FloatStr sometimes produces NUL chars
- I think everything is nearly sorted out now: the example in comment 8 now finds no problems (even over a much wider r...
-
20:17 CoCoA-5 Bug #1573: ApproxSolve: very imprecise
- The example was deliberately chosen to be hard/troublesome. Making the parameters @D@ and/or @N@ larger almost surel...
-
19:48 CoCoA-5 Bug #1573 (Closed): ApproxSolve: very imprecise
- I have found an example where @ApproxSolve@ gives very imprecise solutions:...
29 Jan 2021
-
20:19 CoCoALib Design #1572: Use noexcept
- Maybe not many functions are applicable _e.g._
* the fn must not call a fn which is not @noexcept@ (with args whic... -
20:18 CoCoALib Design #1572 (Resolved): Use noexcept
- Scott Meyers recommends using *@noexcept@* where it fits naturally.
Check to see where we can use it.
-
20:16 CoCoALib Design #1511: Use C++14 constexpr
- So far I have done the following files: (update list as files are done)
* *@bool3.H@*
* *@config.H@*
* *@DivMask@*... -
20:12 CoCoALib Feature #152 (Closed): Replace bool3 by tribool
- I think the new version is OK now. I have also put in *@noexcept@* where appropriate.
One inconsistency: we can a... -
15:43 CoCoA-5 Feature #1174 (Closed): package of a function --> of an identifier!
-
15:42 CoCoALib Bug #1571: ker_H needs care
- some verbosity has already been included in the file @HomomorphismOps.C@
-
15:40 CoCoALib Bug #1571 (New): ker_H needs care
- The function @ker_H@ is not properly developed/documented.
In particular, there are problems for... -
15:27 CoCoALib Bug #1484 (Feedback): ker bug (quotientinghom for R/ideal())
-
15:26 CoCoALib Bug #1484: ker bug (quotientinghom for R/ideal())
- Anna Maria Bigatti wrote:
> For proper testing I added some verbosity, but I cannot see it.
> [...]
> what am I mi... -
09:45 CoCoALib Bug #1484: ker bug (quotientinghom for R/ideal())
- For proper testing I added some verbosity, but I cannot see it....
-
12:26 CoCoA-5 Design #1151 (Closed): ConcatList or ConcatLists
-
12:05 CoCoA-5 Design #1520 (Closed): Replace BOOST_FOREACH by new C++14 range for syntax
-
12:03 CoCoA-5 Feature #1516 (Closed): substring function
-
12:00 CoCoALib Design #854: Function MakeTermOrd should be renamed MakeTermOrdMat?
- work for me
-
11:59 CoCoA-5 Design #1334: sylvester or SylvesterMat?
- cocoa5 manual for @jacobian@ updated now (2021-01)
-
11:52 CoCoALib Feature #958: New function: multiplicity and dim
- AnnaM think and close this!
-
11:31 CoCoALib Feature #1488: BuiltIn Interreduce-Function
- John Abbott wrote:
> I have commented out @interreduce@.
> I have renamed the files to @SparsePolyOps-interreduced@... -
11:26 CoCoALib Design #1563 (Closed): BigRat: ctor from machine int
-
10:00 CoCoALib Bug #1570: FloatStr sometimes produces NUL chars
- And indeed the defn of @log@ for @BigRat@ is simply...
-
09:56 CoCoALib Bug #1570: FloatStr sometimes produces NUL chars
- This is not good.
I have increased the factor in the definition of @delta@ to 64: there are still failing cases:
... -
09:31 CoCoALib Bug #1570: FloatStr sometimes produces NUL chars
- Here is a simpler failing case:...
28 Jan 2021
-
21:37 CoCoALib Bug #1570: FloatStr sometimes produces NUL chars
- I have found what is most likely the cause (after tracing through with the debugger).
The problem was in *@FloorLo... -
20:35 CoCoALib Bug #1570: FloatStr sometimes produces NUL chars
- Aha! It seems that @FloorLog10@ sometimes give wrong answers... groan.
With luck that is the root cause.
-
19:48 CoCoALib Bug #1570: FloatStr sometimes produces NUL chars
- @FloatStr@ simply calls @MantissaAndExponent10@ to do the main conversion.
Indeed *@MantissaAndExponent10@ behaves w... -
19:25 CoCoALib Bug #1570: FloatStr sometimes produces NUL chars
- Operating on @10*q@ produces the same mantissa (with NUL) but without exponent.
Operating on @100*q@ produces a cor... -
19:17 CoCoALib Bug #1570 (In Progress): FloatStr sometimes produces NUL chars
- The exponent is wrong by 1: it should be -10.
-
19:13 CoCoALib Bug #1570: FloatStr sometimes produces NUL chars
- The bug is more embarrassing than dangerous...
Don't yet have a simpler failing example.
Of course, it came up ... -
19:12 CoCoALib Bug #1570 (Closed): FloatStr sometimes produces NUL chars
- Here is a concrete example:...
26 Jan 2021
-
13:47 CoCoALib Design #1558: CpuTimeLimit: more frequent clock checks
- While looking for examples for my course computer algebra I wanted to use @GBasisTimeout@. Sometimes the curr impl d...
22 Jan 2021
-
20:44 CoCoALib Feature #152 (Resolved): Replace bool3 by tribool
- I have updated the code. Maybe the revised impl is cleaner.
Anyway, it all seems to work. The code is so simple, t... -
17:15 CoCoALib Feature #152 (In Progress): Replace bool3 by tribool
- While the impl in BOOST is surely good, I do prefer to keep CoCoALib independent of BOOST (of course, the interpreter...
-
16:22 CoCoALib Slug #1569: IsInRadical too slow (test-RadicalMembership)
- Not surprisingly the computation mod p is very quick.
BTW the answer to the computation as given is (almost certai... -
15:09 CoCoALib Slug #1569 (Closed): IsInRadical too slow (test-RadicalMembership)
- From a demo I showed my students...
I computed a "nasty" 0-dim radical, then wanted to show @MinPowerInIdeal@, but i... -
15:05 CoCoALib Bug #1565 (Feedback): IsInRadical: gives "weird" error
- I have modified the code so that it avoid recomputing the "radical helpers".
All tests pass. Will clean and then ch... -
10:49 CoCoA-5 Design #1151 (Feedback): ConcatList or ConcatLists
- John Abbott wrote:
> Personally I find the name @ConcatLists@ more "natural" because it concatenates many lists.
... -
10:34 CoCoALib Bug #1484: ker bug (quotientinghom for R/ideal())
- John Abbott wrote:
> There are two more suspect creations of ideals: line 325 and 347.
> I have changed these too, ... -
09:58 CoCoA-5 Design #1568 (In Progress): RMap and image: obsolescent?
- I thought @Rmap@ was completely obsolete.
It is defined in @coclib.cpkg5@ and exported.
It is also defined in @ra... -
09:52 CoCoA-5 Feature #531: Package protected variables should know which package protected them
- There is a sort of redundancy in package @$anna@ putting a protection reason on the variable @$anna.var@.
It would... -
08:44 CoCoA-5 Feature #531: Package protected variables should know which package protected them
- All done: works for @:=@, @unprotect@ and @define@.
The field @protectionReason@ is actually set, but for the comp... -
08:31 CoCoA-5 Feature #1174 (Feedback): package of a function --> of an identifier!
- I'm now convinced that the only exception to the evaluation of the argument of a function should be @IsDefined@. The...
-
08:23 CoCoA-5 Feature #346 (Feedback): Describe should indicate package name
21 Jan 2021
-
15:16 CoCoA-5 Bug #1567 (Resolved): Radical in non-zero char
- I have found the problem and fixed it. Also done some cleaning inside @radical.cpkg5@
When are we moving this to C+... -
15:15 CoCoA-5 Bug #1567 (Closed): Radical in non-zero char
- ...
-
13:46 CoCoA-5 Support #1566 (Closed): What does rad do?
- It seems that CoCoA-5 has a function *@rad@*
What does it do? It is not documented.
19 Jan 2021
-
14:03 CoCoALib Bug #1565 (In Progress): IsInRadical: gives "weird" error
- I have modified @RadicalHelpers@ in @SparsePolyOps-RadicalMembership.C@
Seems Ok now. Still testing. -
13:27 CoCoALib Bug #1565: IsInRadical: gives "weird" error
- Also get:...
-
13:25 CoCoALib Bug #1565 (Closed): IsInRadical: gives "weird" error
- Specific example:...
-
12:39 CoCoA-5 Feature #1469: Get indexed indets from a polyring
- Hi,
I would highly appreciate such a function, however I think it would be even better if one must not first initial... -
09:20 CoCoA-5 Feature #1564 (New): Geometrical theorem proving package
- What is the stats of the _geometrical theorem proving_ package?
It seems the package is there, but the on-line man...
15 Jan 2021
-
21:15 CoCoALib Feature #206: Matrix equation solving: LinKer
- The source of *@LinKerBasis@* looks a bit dodgy.
Given a matrix it does what is expected; but it also works for a _l... -
21:07 CoCoALib Feature #206: Matrix equation solving: LinKer
- This was originally in issue #122; moving it to here.
What is the difference between @LinKer@ and @LinKerBasis@?
... -
21:09 CoCoALib Feature #122 (Closed): Porting "LinKer"
- This seems to be a *duplicate* of #206; since there is more info under that index, I'm closing this one.
-
09:18 CoCoALib Feature #122: Porting "LinKer"
- What is the difference between *@LinKer@* and *@LinKerBasis@*?
Is @LinKerBasis@ essentially the same as @GetCols(Lin... -
21:05 CoCoA-5 Design #1546 (Feedback): Improve 'describe' or 'print' for a function
- This is now working fine (after Anna changed the impl of print in the interpreter). Moving to *feedback*.
-
20:56 CoCoA-5 Feature #346: Describe should indicate package name
- Since @print@ and @sprint@ now produce the body of a CoCoA-5 function, it superfluous for @describe@ to do the same.
... -
20:52 CoCoA-5 Feature #346 (Resolved): Describe should indicate package name
- *IMPORTANT*
* the @describe@ command describes a _value_ and not a _variable_;
* a fn defn *does not contain any in... -
09:13 CoCoA-5 Feature #346: Describe should indicate package name
- Since Anna seems to have solved issue #1174, is it now possible to make progress here?
Since normal printing now p... -
20:42 CoCoA-5 Feature #531: Package protected variables should know which package protected them
- In the source code indicated by Anna, there is a loop which sets @protectionReason@ (or some similar name).
These re... -
12:23 CoCoA-5 Feature #531: Package protected variables should know which package protected them
- Anna Maria Bigatti wrote:
> There is something called @protectionReason@ but seems unset (very strange: the code for... -
10:39 CoCoA-5 Feature #531: Package protected variables should know which package protected them
- modified also implementation of @unprotect@...
-
10:30 CoCoA-5 Feature #531 (Feedback): Package protected variables should know which package protected them
- Implemented: updated code of @CheckProtection@ (extra arg runtimeEnv) in Interpreter.C
(done it, before I forgot the... -
08:18 CoCoA-5 Feature #531: Package protected variables should know which package protected them
- I might be able to fix this, see #1174
-
18:01 CoCoALib Support #1265 (In Progress): Unregistered TXT files in doc
- Progress chart:
* *@SmallPrime.txt@* removed because very out of date
* _fill in as progress is made_ -
17:55 CoCoALib Design #1563 (Feedback): BigRat: ctor from machine int
- I have now changed all calls @BigRat(...,1)@ into just @BigRat(...)@ in examples, tests, and source code.
Checking i... -
17:08 CoCoALib Design #1563 (Resolved): BigRat: ctor from machine int
- I have added 2 new ctors (one from @MachineInt@ and one from @BigInt@).
They are @explicit@ (as is the ctor for @Big... -
17:05 CoCoALib Design #1563: BigRat: ctor from machine int
- I have just discussed with Anna. Bruns's argument is persuasive: our original decision was to protect the user again...
-
16:18 CoCoALib Design #1563 (In Progress): BigRat: ctor from machine int
- There were 2 reasons for prohibiting ctor from a machine int: ambiguity of BigInt(0) since 0 could also be interprete...
-
15:39 CoCoALib Design #1563 (Closed): BigRat: ctor from machine int
- Bruns asks the following "why?"...
-
17:13 CoCoALib Design #1180: BigRat(0) unexpectedly compiles! (calls ctor with mpq_t arg)
- *IMPORTANT UPDATE*(2021-01-15) this decision has now been reversed in issue #1563
-
10:02 CoCoALib Feature #1559: Default ctor for rings
- The class *@ring@* does have a default ctor (which assigns @RingZZ()@ as initial value).
In contrast, @SparsePolyRin... -
09:07 CoCoA-5 Feature #1174: package of a function --> of an identifier!
- Well done! I suggest we accept the version taking a string for the time being (unless you can easily make a fn like ...
-
08:29 CoCoA-5 Feature #1174: package of a function --> of an identifier!
- Example:...
-
08:11 CoCoA-5 Feature #1174: package of a function --> of an identifier!
- should the name be @PackageOf@?
I have investigated: belonging to a package (variable) is a property of the variab... -
06:48 CoCoA-5 Bug #1531: CRASH: arithmetic with HilbertSeries (tagged object)
- It (correctly) gives error both on right and left, no crash.
14 Jan 2021
-
14:31 CoCoALib Feature #206: Matrix equation solving: LinKer
- The fn *@LinKerZZ@* is available in my copy of CoCoA-5, but there is no doc.
The doc for CoCoALib seems explicit.
... -
14:27 CoCoALib Feature #122: Porting "LinKer"
- Has this already been done? There are two fns in CoCoA-5: @LinKer@ and @LinKerBasis@.
What about @LinKerZZ@?
Also available in: Atom