Activity
From 27 Feb 2012 to 27 Mar 2012
27 Mar 2012
- 13:28 CoCoA-5 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
- John Abbott wrote:
> I do not like the "abandoned" square bracket at the end of the first line.
>
> Generally I pref... - 10:04 CoCoA-5 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
- I do not like the "abandoned" square bracket at the end of the first line.
After speaking yesterday, we also conclud...
26 Mar 2012
- 19:11 CoCoALib Bug #114 (In Progress): Ideals of polynomials
- Currently operations special to ideals in polynomial rings are located in @SparsePolyRing.H@ -- this seems incorrect....
- 17:42 CoCoA-5 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
- after using the "old style" for a while I'm getting more and more convinced that a matrix should also print its own r...
23 Mar 2012
- 17:02 CoCoALib Feature #113 (In Progress): Introduce PartialHom
- Currently CoCoALib does not distinguish between proper homs and partial homs.
Thus we can create a (partial) RingH... - 14:41 CoCoA-5 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...
- 12:39 CoCoALib Support #75: Documentation review by Caleo
- Alessandra reports:
* doc for almost all rings (except @ring@, @RingElem@) needs to be better organized
* reference... - 11:37 CoCoALib Support #112 (New): automatic creation of all function signatures
- Is it possible to create a readable collection of all function signatures and (more difficult) to link to the correct...
22 Mar 2012
- 16:05 Bug #57: MSVC10 - BOOST_SCOPE_EXIT
- I wonder why the only reports I can find on the internet about problems with @BOOST_SCOPE_EXIT@ and Visual C++ are ou...
- 15:20 CoCoA-5 Feature #90 (Closed): Make the new fn CoefficientsWRT available in C5
- 13:50 CoCoA-5 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...
21 Mar 2012
- 16:18 CoCoA-5 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... - 15:22 CoCoALib Bug #111: Mod fn for computing remainder
- The use of @tdiv@ functions produces a (pleasing) sign symmetry:
# namely @A%B = - ((-A)%B) = - A%(-B) = (-A)%(-B)@
...
20 Mar 2012
- 16:21 CoCoA-5 Bug #108 (Closed): Unhandled division by zero in FFp
- 16:03 CoCoALib Bug #111 (Closed): Mod fn for computing remainder
- The doc says the result is least non-neg remainder...
BUT the code uses @mpz_tdiv@ which "truncates" towards zero, s... - 15:55 CoCoALib Feature #50: Polynomial content
- Created two fns:
* *@content@* computes "content" of the coeffs, result is in CoeffRing
* *@ContentWRT@* computes "co... - 10:10 CoCoALib Feature #107: Recognizing finite fields
- Other functions which finite fields should offer:
* @IsPthPower@
* @IsPthPower2@ says whether arg is a P^k-th power (...
19 Mar 2012
- 18:01 CoCoA-5 Bug #109 (Closed): SmoothFactor should allow large first arg
- 14:51 CoCoA-5 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...
- 17:14 CoCoA-5 Bug #108 (Resolved): Unhandled division by zero in FFp
- Fixed, but the error is indicated at the operator...
- 14:36 CoCoA-5 Bug #108 (Closed): Unhandled division by zero in FFp
- Here's a sample case...
- 16:45 CoCoA-5 Bug #110: Surprise return type for GCD of a list of ints
- The function @AsINT@ can be used as a workaround:...
- 16:19 CoCoA-5 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)...
- 16:11 CoCoALib Feature #40: Squarefree factorization - Alessio d'Ali`
- Alessio has not found any criterion for a good order in which to "eliminate" the indets.
He did suggest offering an ... - 11:56 CoCoALib Feature #107 (Closed): Recognizing finite fields
- The case of polynomials over finite fields can often be handled specially. We must add functions to facilitate the d...
- 11:45 CoCoA-5 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...
- 11:42 CoCoA-5 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...
18 Mar 2012
- 15:19 CoCoALib Bug #22: Rename PPMonoidEvZZ?
- Here is an alternative suggestion (affecting the names of all PPMonoids).
The underlying principle is that an obje...
16 Mar 2012
- 18:01 CoCoALib Feature #51: polynomial coefficient extraction w.r.t. variable
- JAA has made a first impl.
Still unsure about the interface (_i.e._ the type of the result & also the type of the par... - 17:47 CoCoALib Bug #21 (Closed): Rename NumTheory and NumTheoryQQ
- The simplest solution seemed to be to merge @NumTheoryQQ@ into @NumTheory@. This avoids a possibly confusing, seemin...
- 12:02 CoCoALib Support #75: Documentation review by Caleo
- Alessandra reports:
# documentation for @ring@ & @RingElem@ is mostly OK (but still not complete)
@ex-RingElem1@ ... - 07:42 CoCoA-5 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... - 07:38 CoCoA-5 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...
15 Mar 2012
- 12:31 CoCoA-5 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... - 11:57 CoCoA-5 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...
12 Mar 2012
- 11:09 CoCoA-5 Bug #98 (Resolved): RealRoots should use IsRational
- 11:09 CoCoA-5 Bug #98: RealRoots should use IsRational
- Fixed the bug -- actually quite easy.
A as consequence I "improved" the defn of @content@.
09 Mar 2012
- 16:17 CoCoA-5 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... - 11:02 CoCoA-5 Feature #101: rethrow in Try .. UponError .. EndTry
- Giovanni Lagorio wrote:
> (the error object contains the error message only, more information should be embedded ther...
08 Mar 2012
- 15:49 CoCoA-5 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...
- 12:13 CoCoA-5 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:...
07 Mar 2012
- 16:13 CoCoA-5 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...
- 15:32 CoCoA-5 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 ... - 15:25 CoCoA-5 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... - 13:01 CoCoALib Feature #40: Squarefree factorization - Alessio d'Ali`
- Alessio and John have both implemented content free factorization.
The CoCoALib impl is slightly faster -- but we ran...
06 Mar 2012
- 12:24 CoCoA-5 Bug #98 (Closed): RealRoots should use IsRational
- RealRoots incorrectly complains about non rational coeffs in cases like the following:...
- 11:54 CoCoA-5 Bug #27: CoCoA-5 Manual
- Some (many?) examples in the manual use multiplication by juxtaposition. These all need to be corrected so that cut-...
02 Mar 2012
- 17:14 CoCoA-5 Feature #97 (New): OpenOFile
- In cocoa-4 we had (syntax not pretty)...
- 16:01 CoCoA-5 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...
01 Mar 2012
- 16:23 CoCoA-5 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...
- 16:10 CoCoA-5 Feature #25: Function "Call"
- A find-grep shows that @Call@ appears in the following files:
cocoa5.cpkg
contrib/CantStop.cpkg
contrib/thmproving... - 16:05 CoCoA-5 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...
- 15:58 CoCoA-5 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... - 12:26 CoCoA-5 Slug #96 (New): sort is too slow
- Sorting is achieved by $list.QuickSort.
Unfortunately it should be called SlowSort. Complexity seems to be quadra...
29 Feb 2012
- 12:38 CoCoA-5 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... - 12:08 CoCoA-5 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 ...
Also available in: Atom