CoCoA » CoCoA-5

23 Mar 2012

14:41 Feature #7: Automatic mapping between (some) rings

Probably the simplest definition is simply that R1 is "simpler" than R2 if the construction of R2 passed explicitly v... John Abbott

22 Mar 2012

15:20 Feature #90 (Closed): Make the new fn CoefficientsWRT available in C5

Anna Maria Bigatti

13:50 Feature #90: Make the new fn CoefficientsWRT available in C5

John Abbott wrote:
> At the moment it is not clear to JAA what the CoCoALib interface should be if we adopt the RING... Anna Maria Bigatti

21 Mar 2012

16:18 Feature #90: Make the new fn CoefficientsWRT available in C5

Here are some arguments in favour of the interface which wants a list of RINGELEM to specify which indets:
* JAA bel... John Abbott

20 Mar 2012

16:21 Bug #108 (Closed): Unhandled division by zero in FFp

John Abbott

19 Mar 2012

18:01 Bug #109 (Closed): SmoothFactor should allow large first arg

Anna Maria Bigatti

14:51 Bug #109 (Closed): SmoothFactor should allow large first arg

Second arg should be small (e.g. up to 2^32-1), but first arg may be big without any problems... John Abbott

17:14 Bug #108 (Resolved): Unhandled division by zero in FFp

Fixed, but the error is indicated at the operator... Anna Maria Bigatti

14:36 Bug #108 (Closed): Unhandled division by zero in FFp

Here's a sample case... John Abbott

16:45 Bug #110: Surprise return type for GCD of a list of ints

The function @AsINT@ can be used as a workaround:... John Abbott

16:19 Bug #110 (Closed): Surprise return type for GCD of a list of ints

JAA expected GCD of a list of INTs to produce an INT; instead it produces a RINGELEM (in ZZ)... John Abbott

11:45 Feature #105: Add I*f and f*I (RINGELEM and IDEAL)

Just a quick note reporting what we'd already said vocally: both left and right multiplication should be enabled (par... John Abbott

11:42 Bug #104: Misprints suggestions: Z --> ZZ

Are you asking to add
# special checks for the names "Z" and "Q" in a context where a ring is to be expected?
# spe... John Abbott

16 Mar 2012

07:42 Feature #106 (In Progress): I:f (IDEAL and RINGELEM) -- operator colon

cocoa-4 had no warning for I:xy being intepreted as (I:x)*y, but cocoa-5 does!
So we can resume that syntax.
Make... Anna Maria Bigatti

07:38 Feature #105 (Closed): Add I*f and f*I (RINGELEM and IDEAL)

Multiplication of RINGELEM and IDEAL is missing.
Add it to CoCoALib and CoCoA-5.
(Multiply, product: keys for "Se... Anna Maria Bigatti

15 Mar 2012

12:31 Bug #104 (Closed): Misprints suggestions: Z --> ZZ

CoCoA-5 is very helpful with suggestions on misprints.
Is it possible to improve this case? i.e. suggest "ZZ" as we... Anna Maria Bigatti

11:57 Bug #103 (Closed): Bad error mesg using operator ":"

The session excerpt below contains an erroneous error message.
I think the operator should be just ":" -- it certain... John Abbott

12 Mar 2012

11:09 Bug #98 (Resolved): RealRoots should use IsRational

John Abbott

11:09 Bug #98: RealRoots should use IsRational

Fixed the bug -- actually quite easy.
A as consequence I "improved" the defn of @content@. John Abbott

09 Mar 2012

16:17 Bug #102 (Closed): Packages: should exported functions be automatically "Protect"ed?

If Package @$aaa@ exports a function @Foo@, then @Foo@ cannot be exported by another Package @$bbb@.
And that's safe... Anna Maria Bigatti

11:02 Feature #101: rethrow in Try .. UponError .. EndTry

Giovanni Lagorio wrote:
> (the error object contains the error message only, more information should be embedded ther... Anna Maria Bigatti

08 Mar 2012

15:49 Feature #101: rethrow in Try .. UponError .. EndTry

I'm afraid that information is lost at the moment (the error object contains the error message only, more information... Giovanni Lagorio

12:13 Feature #101 (New): rethrow in Try .. UponError .. EndTry

What is the way to deal with errors we don't want to catch?
See this example:... Anna Maria Bigatti

07 Mar 2012

16:13 Bug #100 (New): BringIn should map only the indets in its arg

In C4 the function @BringIn@ maps only the indets which actually appear in the arg to be mapped. In C5, the currentl... John Abbott

15:32 Feature #90: Make the new fn CoefficientsWRT available in C5

Anna Maria Bigatti wrote:
> it would inefficient to write...
Yes, but I believe the run-time inefficiency would be ... John Abbott

15:25 Slug #99 (Closed): Function "insert": obsolescent

As far as I can tell @Insert@ is never called by any function in the standard CoCoA packages.
I would like to make... John Abbott

06 Mar 2012

12:24 Bug #98 (Closed): RealRoots should use IsRational

RealRoots incorrectly complains about non rational coeffs in cases like the following:... John Abbott

11:54 Bug #27: CoCoA-5 Manual

Some (many?) examples in the manual use multiplication by juxtaposition. These all need to be corrected so that cut-... John Abbott

02 Mar 2012

17:14 Feature #97 (New): OpenOFile

In cocoa-4 we had (syntax not pretty)... Anna Maria Bigatti

16:01 Feature #90: Make the new fn CoefficientsWRT available in C5

I think we should keep both interfaces: Co**WRT(f, x) and Co**WRT(f, [1,2,3])
The first is very convenient, but the... Anna Maria Bigatti

01 Mar 2012

16:23 Feature #90: Make the new fn CoefficientsWRT available in C5

The interfaces to @ContentWRT@ and @CoefficientsWRT@ are awful -- they seemed reasonable when I designed them, but th... John Abbott

16:10 Feature #25: Function "Call"

A find-grep shows that @Call@ appears in the following files:
cocoa5.cpkg
contrib/CantStop.cpkg
contrib/thmproving... John Abbott

16:05 Feature #25: Function "Call"

Based on the premise "It is easier to add features later than to remove them", JAA suggests that we do not offer a @C... John Abbott

15:58 Slug #96: sort is too slow

It seems highly likely that copies are being made of the list being sorted. Here is my justification:
I created a... John Abbott

12:26 Slug #96 (New): sort is too slow

Sorting is achieved by $list.QuickSort.
Unfortunately it should be called SlowSort. Complexity seems to be quadra... John Abbott

29 Feb 2012

12:38 Feature #95 (New): Error/warning if fn-proc is neither fn nor proc?

My email records show that we wrote about this on 2010-05-19.
C5 distinguishes fns from procs simply by the nature... John Abbott

12:08 Bug #94 (Closed): Default reason for protected variables

Attempting to set a variable which has been @protect@-ed without an explicit reason produces an unsatisfactory error ... John Abbott

23 Feb 2012

17:14 Feature #93 (Closed): Hilbert series: global output rings for non-standard gradings

Hilbert series for rings with standard gradings are all in a single QQ[t].
All other case create a ring for every ... Anna Maria Bigatti