Activity
From 05 Mar 2012 to 03 Apr 2012
03 Apr 2012
-
21:48 CoCoALib Slug #120: LT over QQ: surprisingly slow
- My "noddy" program for computing GBases can do the whole computation in a few seconds...
-
- Here is another suspect starting ideal in @QQ[x,y,z],Lex@
@[x^4 +x*y^2*z +y^4, x^3*y +x^2*z^2 +z^2]@
-
- The following should compute a LT ideal of a small ideal (using lex).
It takes longer than I would expect over QQ --... -
-
- Sundry other changes to accomodate MSVC bugs.
Added some @#if@ conditionals as workarounds; ideally these should e... -
- Added include directives for @iterator@ in the cases where it was needed.
-
- Exercising the option not to define static data members if their addrs are not needed, I have removed all such defns,...
-
- All references to @unistd.h@ have been removed. The code now compiles on Windows (as well as Linux & MacOSX). This ...
-
- The problem was that @BOOST_SCOPE_EXIT@ requires at least 1 arg, though this is not entirely evident from their docum...
-
- The file @CoCoA4io@ should not be inside CoCoALib -- it belongs in CoCoAServer.
Move it... will lead to some consequ... -
- Discovering that BOOST seems to offer a ready-made solution, and that @access@ is old-style C-library.
-
- Replace call to @access@ in Main.C (about line 192) by calls to BOOST filesystem fns such as @exists@ and @is_regular...
-
- As far as I can tell BOOST does not offer such a simple fn.
-
- To enable compilation on MSVC, I had to add defn of @isblank@.
Currently there are 3 separate (but identical) defns ...
02 Apr 2012
-
16:26 CoCoA-5 Bug #88 (Closed): Makefile problem with GUI on linux
-
30 Mar 2012
-
- it is useful to allow rational coefficients (why not?) and appropriate conversion into ZZ when necessary (optimized O...
-
- We have not yet decided about internal impl names.
JAA still likes his suggestion made two posts ago.
-
- We don't have time to complete this change before 0.9950.
However we have decided that it is simplest for the user... -
- Alessandra reports:
# the examples are mostly OK; she reported some minor problems which J+A attended to immediately...
28 Mar 2012
-
- The error was in Interpreter.C: I got the wrong "symmetry" with LessOrEqual....
-
- ...
27 Mar 2012
-
- John Abbott wrote:
> I do not like the "abandoned" square bracket at the end of the first line.
>
> Generally I pref... -
- I do not like the "abandoned" square bracket at the end of the first line.
After speaking yesterday, we also conclud...
26 Mar 2012
-
- Currently operations special to ideals in polynomial rings are located in @SparsePolyRing.H@ -- this seems incorrect....
-
- 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
-
- 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... -
- 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-...
Also available in: Atom