Activity
From 01 Jan 2021 to 30 Jan 2021
30 Jan 2021
-
20:21 CoCoALib Bug #1570 (Feedback): 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...
-
- The example was deliberately chosen to be hard/troublesome. Making the parameters @D@ and/or @N@ larger almost surel...
-
- I have found an example where @ApproxSolve@ gives very imprecise solutions:...
29 Jan 2021
-
- Maybe not many functions are applicable _e.g._
* the fn must not call a fn which is not @noexcept@ (with args whic... -
- Scott Meyers recommends using *@noexcept@* where it fits naturally.
Check to see where we can use it.
-
- So far I have done the following files: (update list as files are done)
* *@bool3.H@*
* *@config.H@*
* *@DivMask@*... -
- 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!
-
- some verbosity has already been included in the file @HomomorphismOps.C@
-
- The function @ker_H@ is not properly developed/documented.
In particular, there are problems for... -
-
- Anna Maria Bigatti wrote:
> For proper testing I added some verbosity, but I cannot see it.
> [...]
> what am I mi... -
- For proper testing I added some verbosity, but I cannot see it....
-
-
-
-
- work for me
-
- cocoa5 manual for @jacobian@ updated now (2021-01)
-
- AnnaM think and close this!
-
- John Abbott wrote:
> I have commented out @interreduce@.
> I have renamed the files to @SparsePolyOps-interreduced@... -
-
- And indeed the defn of @log@ for @BigRat@ is simply...
-
- This is not good.
I have increased the factor in the definition of @delta@ to 64: there are still failing cases:
... -
- Here is a simpler failing case:...
28 Jan 2021
-
- I have found what is most likely the cause (after tracing through with the debugger).
The problem was in *@FloorLo... -
- Aha! It seems that @FloorLog10@ sometimes give wrong answers... groan.
With luck that is the root cause.
-
- @FloatStr@ simply calls @MantissaAndExponent10@ to do the main conversion.
Indeed *@MantissaAndExponent10@ behaves w... -
- Operating on @10*q@ produces the same mantissa (with NUL) but without exponent.
Operating on @100*q@ produces a cor... -
- The exponent is wrong by 1: it should be -10.
-
- The bug is more embarrassing than dangerous...
Don't yet have a simpler failing example.
Of course, it came up ... -
- Here is a concrete example:...
26 Jan 2021
-
- While looking for examples for my course computer algebra I wanted to use @GBasisTimeout@. Sometimes the curr impl d...
22 Jan 2021
-
- I have updated the code. Maybe the revised impl is cleaner.
Anyway, it all seems to work. The code is so simple, t... -
- While the impl in BOOST is surely good, I do prefer to keep CoCoALib independent of BOOST (of course, the interpreter...
-
- Not surprisingly the computation mod p is very quick.
BTW the answer to the computation as given is (almost certai... -
- From a demo I showed my students...
I computed a "nasty" 0-dim radical, then wanted to show @MinPowerInIdeal@, but i... -
- I have modified the code so that it avoid recomputing the "radical helpers".
All tests pass. Will clean and then ch... -
- John Abbott wrote:
> Personally I find the name @ConcatLists@ more "natural" because it concatenates many lists.
... -
- John Abbott wrote:
> There are two more suspect creations of ideals: line 325 and 347.
> I have changed these too, ... -
- I thought @Rmap@ was completely obsolete.
It is defined in @coclib.cpkg5@ and exported.
It is also defined in @ra... -
- There is a sort of redundancy in package @$anna@ putting a protection reason on the variable @$anna.var@.
It would... -
- All done: works for @:=@, @unprotect@ and @define@.
The field @protectionReason@ is actually set, but for the comp... -
- I'm now convinced that the only exception to the evaluation of the argument of a function should be @IsDefined@. The...
-
21 Jan 2021
-
- I have found the problem and fixed it. Also done some cleaning inside @radical.cpkg5@
When are we moving this to C+... -
- ...
-
- It seems that CoCoA-5 has a function *@rad@*
What does it do? It is not documented.
19 Jan 2021
-
- I have modified @RadicalHelpers@ in @SparsePolyOps-RadicalMembership.C@
Seems Ok now. Still testing. -
- Also get:...
-
- 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... -
- What is the stats of the _geometrical theorem proving_ package?
It seems the package is there, but the on-line man...
15 Jan 2021
-
- The source of *@LinKerBasis@* looks a bit dodgy.
Given a matrix it does what is expected; but it also works for a _l... -
- This was originally in issue #122; moving it to here.
What is the difference between @LinKer@ and @LinKerBasis@?
... -
- This seems to be a *duplicate* of #206; since there is more info under that index, I'm closing this one.
-
- What is the difference between *@LinKer@* and *@LinKerBasis@*?
Is @LinKerBasis@ essentially the same as @GetCols(Lin... -
- This is now working fine (after Anna changed the impl of print in the interpreter). Moving to *feedback*.
-
- Since @print@ and @sprint@ now produce the body of a CoCoA-5 function, it superfluous for @describe@ to do the same.
... -
- *IMPORTANT*
* the @describe@ command describes a _value_ and not a _variable_;
* a fn defn *does not contain any in... -
- Since Anna seems to have solved issue #1174, is it now possible to make progress here?
Since normal printing now p... -
- In the source code indicated by Anna, there is a loop which sets @protectionReason@ (or some similar name).
These re... -
- Anna Maria Bigatti wrote:
> There is something called @protectionReason@ but seems unset (very strange: the code for... -
- modified also implementation of @unprotect@...
-
- Implemented: updated code of @CheckProtection@ (extra arg runtimeEnv) in Interpreter.C
(done it, before I forgot the... -
- I might be able to fix this, see #1174
-
- Progress chart:
* *@SmallPrime.txt@* removed because very out of date
* _fill in as progress is made_ -
- I have now changed all calls @BigRat(...,1)@ into just @BigRat(...)@ in examples, tests, and source code.
Checking i... -
- I have added 2 new ctors (one from @MachineInt@ and one from @BigInt@).
They are @explicit@ (as is the ctor for @Big... -
- I have just discussed with Anna. Bruns's argument is persuasive: our original decision was to protect the user again...
-
- There were 2 reasons for prohibiting ctor from a machine int: ambiguity of BigInt(0) since 0 could also be interprete...
-
- Bruns asks the following "why?"...
-
- *IMPORTANT UPDATE*(2021-01-15) this decision has now been reversed in issue #1563
-
- The class *@ring@* does have a default ctor (which assigns @RingZZ()@ as initial value).
In contrast, @SparsePolyRin... -
- Well done! I suggest we accept the version taking a string for the time being (unless you can easily make a fn like ...
-
- Example:...
-
- should the name be @PackageOf@?
I have investigated: belonging to a package (variable) is a property of the variab... -
- It (correctly) gives error both on right and left, no crash.
14 Jan 2021
-
- The fn *@LinKerZZ@* is available in my copy of CoCoA-5, but there is no doc.
The doc for CoCoALib seems explicit.
... -
- Has this already been done? There are two fns in CoCoA-5: @LinKer@ and @LinKerBasis@.
What about @LinKerZZ@?
12 Jan 2021
-
- I have modified the impl so that it triggers only when the CPU time limit has been exceeded, but it does try to call ...
11 Jan 2021
-
- To be able to use the type @ConstMatrixView@ I need to include @matrix.H@ rather than @MatrixView.H@.
Is this reas... -
- The documentation for module term orderings is unhelpful (to put it politely).
I wanted to find out whether a @Fre... -
- Not sure how hard this might be. Does it suffice to create a poly ring with elim order, and then compute the GB for ...
-
- Bernhard Andraschko reported the following NYI:...
-
- John Abbott wrote:
> Now I am wondering whether it may not make more sense to base @CpuTimeLimit@ on the "steady clo...
09 Jan 2021
-
- Winfried Bruns sent the following by email:
"I wanted to define a class that contains two sparesepoly rings as mem...
08 Jan 2021
-
- Using just the one example "french students" example, the current (2021-01-08) version of @CpuTimeLimit@ works accept...
-
- Now I think it should be possible to make @CpuTimeLimit@ check the time more frequently without much overhead (by che...
-
- I now have a version of @CpuTimeLimit@, which actually uses only "steady clock" rather than @CpuTime@.
It seems to... -
- Now I am wondering whether it may not make more sense to base @CpuTimeLimit@ on the "steady clock" (but then the nam...
-
- Here is the code I used as a speed check:...
-
- The impl of @CpuTimeLimit@ is a bit complicated because the @CpuTime@ function is more expensive than I had expected....
-
- I have written a (short) manual entry.
Should there be some tests? :-/
-
- I have written a first version (in @BuiltinFunctions.C@).
* name: *@substring@*; I prefer not to use @sbstr@ as th... -
- Start pos and length seem reasonable to me.
Should we also allow the version which goes to end of string? KISS: m... -
- I have added some tests (to @test-RingElem5.C@).
All seems OK. Closing. -
- Anna! check ring for empty lists!
-
- add the instruction written by Henry O'Keeffe
-
-
- Tested. OK.
-
-
- And also fix the manual.
-
- For snapshot releases: (Anna) remember to change the links in the webpage.
-
-
-
-
- I checked: not as easy as I thought.
@NR@ is defined in @SparsePolyOps-RingElem.C@ and make use of ReductionCog. Th... -
07 Jan 2021
-
- The relevant source is probably in *@SparsePolyOps-reduce.C@* around line 133.
The timer object is constructed in... -
- Setting the timeout to 20s worked very well. Setting it to 25s triggered an interruption after 95s.
Setting it to 9... -
- Why are there no test cases for this issue? Without them how can i know if it has been satisfactorily solved?
Usi... -
- Here is a suggestion:
* find out how many different copyright messages we need (headers, source, tests, examples, do... -
- I have added Bigatti to all files which had just Abbott as copyright holder.
Anna should now add Abbott to all files... -
- There was a bug in my first version of the faster code: @in.get(ch)@ does not put EOF into @ch@ when EOF is reached -...
06 Jan 2021
-
- I have found a potentially useful entry on *StackOverflow*: link @https://stackoverflow.com/questions/9272276/can-you...
-
- I'm still puzzled: @ScanUnsignedIntegerLiteral@ continue to be slower than whatever the CoCoA-5 interpreter does; cou...
05 Jan 2021
-
- The profiler indicates that major costs are @hgcd@ (from GMP) and @ScanUnsignedIntegerLiteral@ (from CoCoALib).
JA... -
- Winfried Bruns sent me a file with about 100000 rationals (total size about 130Mbytes).
If I read the file in using ...
Also available in: Atom