Activity
From 19 Mar 2012 to 17 Apr 2012
17 Apr 2012
-
21:21 CoCoA-5 Bug #118: unistd and call to access in Main.C
- Increased priority to "high".
Waiting for Anna's return to discuss the correctness/usefulness of allowing CoCoA-5 ... -
- Currently @BringIn@ does not allow one to move from char 0 to char non-zero....
16 Apr 2012
-
- Alessio would like a conversion from {false,true} to {0,1}.
Wikipedia mentions a function called "Iverson bracket" w... -
- Alessio did numerous timing experiments to understand whether reordering the variables could lead to a useful gain in...
-
- As mentioned in the previous post, currently I have used several fn names for solving linear systems: a generic fn, a...
-
- What names should we use for the fns which find a solution to a linear system? The name may be related to the name f...
15 Apr 2012
-
- Now that there is a linear system solver I tried to write a general implementation for
@SparsePolyRingBase::IdealImp... -
- Implemented a first version where some GCD computations are passed to the old CoCoA-4 code. It is a poor implementat...
-
- Currently CoCoALib computes GCDs using GBasis/syzygy computations. This is often terribly slow -- there is faster co...
-
- Fixed.
*BUT* there remains a more subtle problem: the way the GUI determines the state of the parser appears to be...
13 Apr 2012
-
- Added some doc in @MatrixArith.txt@, and a new test @test-matrix3.C@.
No new example program yet.
New fns not yet a... -
- JAA has an impl of the generic case (over a field).
JAA has written a test for this first impl.
No example, and no ...
10 Apr 2012
-
-
- To answer the question "why...?" in the last update: the fn @access@ returns 0 if the file exists, and -1 if it does ...
05 Apr 2012
-
15:36 CoCoA-5 Feature #128 (Closed): wordlist.txt generation
- Autocompletion depends on the file wordlist.txt
Right now we are still using the cocoa-4 wordlist (because we cannot... -
- Convert the old factorizer C code "DUPFF" into C++.
-
- Create a new datastructures directory to hold source code for impls of various datastructures (e.g. the various Distr...
-
- Add code for solving linear systems. There are several subcases:
* generic case over a field
* full rank and not f... -
- The args being considered are "indices"; we should be consistent regarding all sorts of index (well, at least non-neg...
04 Apr 2012
-
- The purpose of the original code is unclear -- indeed it looks implausible/wrong....
-
- For "public" functions (not member functions) like...
-
- Think about the implementation of IdealOfPoints in the case of generic coefficients (_e.g._ in *@QQ(a)@*)
Implement ... -
- This issue is *closed*; it is a *DUPLICATE* of #206
Port cocoa-4 C code about LinKer to cocoalib.
-
- Port in cocoalib the cocoa-4 C code about BuchbergerMoeller.
An important step in it is the lifting from Fp --> QQ...
03 Apr 2012
-
- 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
-
-
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...
Also available in: Atom