Activity
From 22 Dec 2020 to 20 Jan 2021
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@?
12 Jan 2021
- 14:32 CoCoALib Design #1558: CpuTimeLimit: more frequent clock checks
- 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
- 11:09 CoCoALib Design #1562 (New): matrix.H and MatrixView.H
- To be able to use the type @ConstMatrixView@ I need to include @matrix.H@ rather than @MatrixView.H@.
Is this reas... - 10:19 CoCoALib Support #1561 (New): Doc for module term orderings
- The documentation for module term orderings is unhelpful (to put it politely).
I wanted to find out whether a @Fre... - 10:02 CoCoA-5 Bug #1560: elim for modules
- Not sure how hard this might be. Does it suffice to create a poly ring with elim order, and then compute the GB for ...
- 09:59 CoCoA-5 Bug #1560 (New): elim for modules
- Bernhard Andraschko reported the following NYI:...
- 08:55 CoCoALib Design #1558: CpuTimeLimit: more frequent clock checks
- John Abbott wrote:
> Now I am wondering whether it may not make more sense to base @CpuTimeLimit@ on the "steady clo...
09 Jan 2021
- 18:20 CoCoALib Feature #1559 (In Progress): Default ctor for rings
- Winfried Bruns sent the following by email:
"I wanted to define a class that contains two sparesepoly rings as mem...
08 Jan 2021
- 18:46 CoCoALib Bug #1376 (Resolved): GBasisTimeout: not working as expected
- Using just the one example "french students" example, the current (2021-01-08) version of @CpuTimeLimit@ works accept...
- 09:48 CoCoALib Bug #1376: GBasisTimeout: not working as expected
- Now I think it should be possible to make @CpuTimeLimit@ check the time more frequently without much overhead (by che...
- 18:11 CoCoALib Design #1558 (Resolved): CpuTimeLimit: more frequent clock checks
- I now have a version of @CpuTimeLimit@, which actually uses only "steady clock" rather than @CpuTime@.
It seems to... - 16:11 CoCoALib Design #1558: CpuTimeLimit: more frequent clock checks
- Now I am wondering whether it may not make more sense to base @CpuTimeLimit@ on the "steady clock" (but then the nam...
- 10:07 CoCoALib Design #1558 (In Progress): CpuTimeLimit: more frequent clock checks
- Here is the code I used as a speed check:...
- 09:38 CoCoALib Design #1558 (Closed): CpuTimeLimit: more frequent clock checks
- The impl of @CpuTimeLimit@ is a bit complicated because the @CpuTime@ function is more expensive than I had expected....
- 15:23 CoCoA-5 Feature #1516 (Resolved): substring function
- I have written a (short) manual entry.
Should there be some tests? :-/
- 15:16 CoCoA-5 Feature #1516: substring function
- I have written a first version (in @BuiltinFunctions.C@).
* name: *@substring@*; I prefer not to use @sbstr@ as th... - 13:06 CoCoA-5 Feature #1516 (In Progress): substring function
- Start pos and length seem reasonable to me.
Should we also allow the version which goes to end of string? KISS: m... - 13:03 CoCoALib Design #1391 (Closed): RingElems: syntax with [ and ] ?
- I have added some tests (to @test-RingElem5.C@).
All seems OK. Closing. - 11:58 CoCoALib Bug #1484: ker bug (quotientinghom for R/ideal())
- Anna! check ring for empty lists!
- 11:56 CoCoA-5 Bug #1539: Website: installation instructions for Microsoft
- add the instruction written by Henry O'Keeffe
- 11:53 CoCoA-5 Bug #1512 (Closed): Package with unexpected EOF
- 11:51 CoCoA-5 Design #1495 (Closed): Package exporting nothing?
- Tested. OK.
- 11:35 CoCoA-5 Feature #1509 (Closed): RingElems with empty input
- 11:31 CoCoA-5 Design #1546: Improve 'describe' or 'print' for a function
- And also fix the manual.
- 11:30 CoCoA-5 Design #1550 (Closed): version number for CoCoA5 snapshot release?
- For snapshot releases: (Anna) remember to change the links in the webpage.
- 11:28 CoCoA-5 Feature #1543 (Closed): Default path for packages
- 11:24 CoCoA-5 Design #1530 (Closed): VersionInfo -- better field names?
- 11:23 CoCoA-5 Support #1498 (Closed): Export many names or just one?
- 11:20 CoCoA-5 Slug #1556: DivAlg slower than NR
- I checked: not as easy as I thought.
@NR@ is defined in @SparsePolyOps-RingElem.C@ and make use of ReductionCog. Th... - 11:19 CoCoA-5 Bug #1527 (Closed): Inadequate error message on incorrect list access
07 Jan 2021
- 20:54 CoCoALib Bug #1376: GBasisTimeout: not working as expected
- The relevant source is probably in *@SparsePolyOps-reduce.C@* around line 133.
The timer object is constructed in... - 20:42 CoCoALib Bug #1376: GBasisTimeout: not working as expected
- Setting the timeout to 20s worked very well. Setting it to 25s triggered an interruption after 95s.
Setting it to 9... - 20:19 CoCoALib Bug #1376: GBasisTimeout: not working as expected
- Why are there no test cases for this issue? Without them how can i know if it has been satisfactorily solved?
Usi... - 20:26 CoCoALib Support #1555 (In Progress): Software licence
- Here is a suggestion:
* find out how many different copyright messages we need (headers, source, tests, examples, do... - 20:04 CoCoALib Design #855: Copyright and authorship?
- I have added Bigatti to all files which had just Abbott as copyright holder.
Anna should now add Abbott to all files... - 20:02 CoCoALib Slug #1557 (Resolved): Reading list of rationals is too slow
- 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
- 11:40 CoCoALib Slug #1557: Reading list of rationals is too slow
- I have found a potentially useful entry on *StackOverflow*: link @https://stackoverflow.com/questions/9272276/can-you...
- 11:32 CoCoALib Slug #1557 (In Progress): Reading list of rationals is too slow
- I'm still puzzled: @ScanUnsignedIntegerLiteral@ continue to be slower than whatever the CoCoA-5 interpreter does; cou...
05 Jan 2021
- 21:55 CoCoALib Slug #1557: Reading list of rationals is too slow
- The profiler indicates that major costs are @hgcd@ (from GMP) and @ScanUnsignedIntegerLiteral@ (from CoCoALib).
JA... - 21:43 CoCoALib Slug #1557 (Closed): Reading list of rationals is too slow
- Winfried Bruns sent me a file with about 100000 rationals (total size about 130Mbytes).
If I read the file in using ...
28 Dec 2020
- 17:56 CoCoALib Support #1555: Software licence
- Here are what we need to do:
* ensure that all copyright lines are correct (Anna and me)
* remove the GPL blurb fro...
23 Dec 2020
- 11:37 CoCoA-5 Design #1540: Double power
- Relevant source is probably in @Parser.C@ around line 1890; *@Parser::parsePowerExpression@*
22 Dec 2020
- 17:19 CoCoA-5 Slug #1556: DivAlg slower than NR
- Check the code for NR and see how to make the data type for the output.
- 14:21 CoCoA-5 Slug #1556: DivAlg slower than NR
- Just for the record: @NR@ took about 0.063s, @DivAlg@ took about 1280s.
Presumably @DivAlg@ should also be built-i... - 14:03 CoCoA-5 Slug #1556: DivAlg slower than NR
- I verify that the problem is present in the current version on my computer.
*@NR@* is a built-in function; *@DivAl... - 13:57 CoCoA-5 Slug #1556 (New): DivAlg slower than NR
- Andraschko reported the following by email:
Consider the following code which computes the minimal polynomial of sqr... - 16:20 CoCoA-5 Bug #1553 (Feedback): Timing SystemCommand
- I have checked in *@ElapsedTime@* (incl. doc).
New qn: is the fn *@RealTime@* in CoCoALib obsolete? -- *NOTE:* may... - 16:16 CoCoALib Bug #1376: GBasisTimeout: not working as expected
- What is the status of this issue?
- 16:10 CoCoALib Bug #1542: gfan does not "deinitialize"
- A non-solution is to modify the documentation to say that @GMPAllocator@ does not work well with GFan (or else the u...
- 15:36 CoCoA-5 Design #1554: cocoa5-emacs-dir or cocoa5-root-dir?
- The question arose after an email from Alasdair McAndrew (around 2020-12-18). Anna will investigate.
- 15:32 CoCoA-5 Design #1554 (In Progress): cocoa5-emacs-dir or cocoa5-root-dir?
- Anna points out that there are complications on Microsoft where one cannot be entirely sure where the release is unpa...
- 15:03 CoCoA-5 Design #1546: Improve 'describe' or 'print' for a function
- Now "print/println ... (on ...)" prints the body of used defined functions.
To do: "describe" should give the name o...
Also available in: Atom