Activity

From 14 Sep 2018 to 13 Oct 2018

17:44 CoCoA-5 Slug #1229 (New): append is slow: Creating a long list by calling @append@ in a loop has run-time quadratic in the final list length.
John Abbott
17:43 CoCoA-5 Slug #1228: SLUG: filling an array: It does not really matter how we evaluate @LHS := RHS@.
Either side could be expensive to evaluate. Publicly we sho... John Abbott

09:01 CoCoA-5 Slug #1228: SLUG: filling an array: My proposal in comment 11 is *bad* because, for instance, the computation of an index may be lengthy or may have side... John Abbott

15:03 CoCoA-5 Slug #1228: SLUG: filling an array: John Abbott wrote:
> I would hope that checking writability is cheap...
We will make some checks.
I want to desi... Anna Maria Bigatti
14:43 CoCoA-5 Slug #1228: SLUG: filling an array: Here is an alternative to my comment about the semantics of assignment (in comment 7):
# check that @LHS@ is writabl... John Abbott
14:27 CoCoA-5 Slug #1228: SLUG: filling an array: Yes, we cannot (and probably should not) stop the user from "shooting himself in the foot".
But CoCoA-5 should never... John Abbott

19:43 CoCoA-5 Slug #1228: SLUG: filling an array: John Abbott wrote:
> I am inclined to think that a user who writes an assignment @LHS := RHS;@ where evaluating @RHS... Anna Maria Bigatti
17:05 CoCoA-5 Slug #1228: SLUG: filling an array: A potential disadvantage of my proposed semantics is that if the RHS is expensive to evaluate, and the LHS is "obviou... John Abbott
16:51 CoCoA-5 Slug #1228: SLUG: filling an array: Now I fear there may be some "strange" situations in which nasty things may occur:... John Abbott
15:46 CoCoA-5 Slug #1228: SLUG: filling an array: I have changed @IndexedAccess::assignmentNeedsOwnership@ so that it gives @false@.
The loop is much faster (0.001s a... John Abbott
15:26 CoCoA-5 Slug #1228: SLUG: filling an array: In @Interpreter.C@ around line 2065 there is:... John Abbott
15:20 CoCoA-5 Slug #1228: SLUG: filling an array: I have used profiling to confirm that the list is indeed copied (but why???)
The test code is:... John Abbott

11:16 CoCoA-5 Slug #1228 (In Progress): SLUG: filling an array: I have just tried the third loop again, but after making the list @sieve@ twice as long, and the loop takes almost tw... John Abbott

10:11 CoCoA-5 Slug #1228: SLUG: filling an array: I forgot to mention that @N := 9699690@ (product of all primes up to 20).
The third loop is *APPALLINGLY SLOW*, *... John Abbott
10:08 CoCoA-5 Slug #1228 (In Progress): SLUG: filling an array: It seems that assigning to an array element is surprisingly slow.
Look at the timings in the following session:
<... John Abbott

12:51 CoCoALib Design #1223 (Resolved): NewPolyRing default indet names: Removed the doc. Moved the old fns into obsolescent.
John Abbott

20:36 CoCoALib Design #1223: NewPolyRing default indet names: Just to remember.
This should go into obsolescent. Anna Maria Bigatti
18:05 CoCoALib Design #1223: NewPolyRing default indet names: I have updated the code: sources, tests and examples.
Everything compiles, and the tests pass (after changing some e... John Abbott
14:57 CoCoALib Design #1223: NewPolyRing default indet names: John Abbott wrote:
> Do you prefer *(A)* or *(B)* ? Opinions?
I prefer A, as I had already explained.
Anna Maria Bigatti
14:51 CoCoALib Design #1223: NewPolyRing default indet names: I see two possible actions:
*(A)* remove completely the pseudo-ctor which accepts just the number of indets; the cal... John Abbott

16:17 CoCoALib Feature #1227: exgcd; solve Bezout equation: Maybe restricting the problem to just 2 args is too limiting?
Consider the following 3 multivariate polynomials: @... John Abbott

14:23 CoCoALib Feature #1227: exgcd; solve Bezout equation: According to Wikipedia there are Bezout domains which are not PIDs (but it seems all such non PIDs are "funny rings" ... John Abbott
14:13 CoCoALib Feature #1227 (New): exgcd; solve Bezout equation: I'd like to use an *@exgcd@* function: one which calculates both the GCD and the corresponding linear combination of ... John Abbott

Also available in: Atom

CoCoA