Activity
From 24 Feb 2012 to 24 Mar 2012
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... -
- Probably the simplest definition is simply that R1 is "simpler" than R2 if the construction of R2 passed explicitly v...
-
- 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
-
- I wonder why the only reports I can find on the internet about problems with @BOOST_SCOPE_EXIT@ and Visual C++ are ou...
-
-
- 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
-
- Here are some arguments in favour of the interface which wants a list of RINGELEM to specify which indets:
* JAA bel... -
- The use of @tdiv@ functions produces a (pleasing) sign symmetry:
# namely @A%B = - ((-A)%B) = - A%(-B) = (-A)%(-B)@
...
20 Mar 2012
-
-
- The doc says the result is least non-neg remainder...
BUT the code uses @mpz_tdiv@ which "truncates" towards zero, s... -
- Created two fns:
* *@content@* computes "content" of the coeffs, result is in CoeffRing
* *@ContentWRT@* computes "co... -
- Other functions which finite fields should offer:
* @IsPthPower@
* @IsPthPower2@ says whether arg is a P^k-th power (...
19 Mar 2012
-
-
- Second arg should be small (e.g. up to 2^32-1), but first arg may be big without any problems...
-
- Fixed, but the error is indicated at the operator...
-
- Here's a sample case...
-
- The function @AsINT@ can be used as a workaround:...
-
- JAA expected GCD of a list of INTs to produce an INT; instead it produces a RINGELEM (in ZZ)...
-
- Alessio has not found any criterion for a good order in which to "eliminate" the indets.
He did suggest offering an ... -
- The case of polynomials over finite fields can often be handled specially. We must add functions to facilitate the d...
-
- Just a quick note reporting what we'd already said vocally: both left and right multiplication should be enabled (par...
-
- 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
-
- Here is an alternative suggestion (affecting the names of all PPMonoids).
The underlying principle is that an obje...
16 Mar 2012
-
- JAA has made a first impl.
Still unsure about the interface (_i.e._ the type of the result & also the type of the par... -
- The simplest solution seemed to be to merge @NumTheoryQQ@ into @NumTheory@. This avoids a possibly confusing, seemin...
-
- Alessandra reports:
# documentation for @ring@ & @RingElem@ is mostly OK (but still not complete)
@ex-RingElem1@ ... -
- 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... -
- Multiplication of RINGELEM and IDEAL is missing.
Add it to CoCoALib and CoCoA-5.
(Multiply, product: keys for "Se...
15 Mar 2012
-
- CoCoA-5 is very helpful with suggestions on misprints.
Is it possible to improve this case? i.e. suggest "ZZ" as we... -
- The session excerpt below contains an erroneous error message.
I think the operator should be just ":" -- it certain...
12 Mar 2012
-
-
- Fixed the bug -- actually quite easy.
A as consequence I "improved" the defn of @content@.
09 Mar 2012
-
- If Package @$aaa@ exports a function @Foo@, then @Foo@ cannot be exported by another Package @$bbb@.
And that's safe... -
- 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...
-
- What is the way to deal with errors we don't want to catch?
See this example:...
07 Mar 2012
-
- In C4 the function @BringIn@ maps only the indets which actually appear in the arg to be mapped. In C5, the currentl...
-
- Anna Maria Bigatti wrote:
> it would inefficient to write...
Yes, but I believe the run-time inefficiency would be ... -
- As far as I can tell @Insert@ is never called by any function in the standard CoCoA packages.
I would like to make... -
- Alessio and John have both implemented content free factorization.
The CoCoALib impl is slightly faster -- but we ran...
06 Mar 2012
-
- RealRoots incorrectly complains about non rational coeffs in cases like the following:...
-
- Some (many?) examples in the manual use multiplication by juxtaposition. These all need to be corrected so that cut-...
02 Mar 2012
-
- In cocoa-4 we had (syntax not pretty)...
-
- 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
-
- The interfaces to @ContentWRT@ and @CoefficientsWRT@ are awful -- they seemed reasonable when I designed them, but th...
-
- A find-grep shows that @Call@ appears in the following files:
cocoa5.cpkg
contrib/CantStop.cpkg
contrib/thmproving... -
- Based on the premise "It is easier to add features later than to remove them", JAA suggests that we do not offer a @C...
-
- It seems highly likely that copies are being made of the list being sorted. Here is my justification:
I created a... -
- Sorting is achieved by $list.QuickSort.
Unfortunately it should be called SlowSort. Complexity seems to be quadra...
29 Feb 2012
-
- My email records show that we wrote about this on 2010-05-19.
C5 distinguishes fns from procs simply by the nature... -
- Attempting to set a variable which has been @protect@-ed without an explicit reason produces an unsatisfactory error ...
Also available in: Atom