Activity
From 27 Mar 2012 to 25 Apr 2012
24 Apr 2012
- 17:09 CoCoALib Feature #138 (Closed): Automatic conversion from bool3 to bool?
- The BOOST equivalent of @bool3@ is called @tribool@. It offers automatic conversion to and from @bool@.
I have al... - 16:08 CoCoALib Feature #107: Recognizing finite fields
- Added C5 documentation for @IsFiniteField@, @LogCardinality@, @IsPthPower@ and @PthRoot@.
JAA wonders whether *@Ext... - 14:58 CoCoALib Feature #107: Recognizing finite fields
- JAA now believes that he has a decent algorithm for testing a polynomial ideal for maximality. As prerequisite it ne...
- 15:35 CoCoA-5 Bug #137: JAA does not like the name IndetInd
- If we change to "subscript" instead of index then we must change the name of the "index" field in the result of @Inde...
- 15:28 CoCoA-5 Bug #137 (Closed): JAA does not like the name IndetInd
- C5 inherited from C4 the name @IndetInd@. It is the function which produces a list of "indices" from a indet, _e.g._...
- 14:52 CoCoALib Feature #51: polynomial coefficient extraction w.r.t. variable
- JAA thinks that the most useful form of @CoeffsWRTBasis@ is one where the basis is an ordered set of PPs. Mathematic...
- 11:33 CoCoALib Feature #51: polynomial coefficient extraction w.r.t. variable
- Part of this task has already been solved by #90 @CoefficientsWRT@.
JAA now needs a fn which converts a polynomial i... - 11:17 CoCoALib Slug #129: Better GCD
- I cleaned the code so that it leaks less memory now.
The cleaning was a consequence of some other development.
23 Apr 2012
- 16:55 CoCoA-5 Feature #133: Qt GUI: Make better distinction between input and output in the output window
- Robbiano confirmed that the blank lines and prompts are a new "feature" of the C5 GUI produced recently by Abbott -- ...
- 16:52 CoCoA-5 Feature #136 (New): GUI: Add an edit menu to the top bar (CoCoA GUI on MacOS)
- Mac users expect to find drop down menus on the top menu bar.
CoCoA GUI offers no such menu for editing commands (su... - 16:49 CoCoALib Feature #107: Recognizing finite fields
- Where should the documentation go?
- 16:46 CoCoALib Feature #107: Recognizing finite fields
- I have made the following fns available in CoCoA-5:
* @IsFiniteField@
* @LogCardinality@
* @IsPthPower@
* @PthRoot@
...
20 Apr 2012
- 12:19 CoCoALib Feature #125: Matrix equation solving; linear system solving
- While speaking to Renzo about choosing the name, I realised that solving a linear system is slightly different from s...
- 11:56 CoCoALib Feature #107: Recognizing finite fields
- I really don't like the name @CardExp@ -- I think it is too cryptic.
The value it returns is log(cardinality)/log(... - 11:13 CoCoALib Bug #135 (Closed): Revise interface to SmallFpImpl & friends
- After starting work on the reimplementation of @DUPFF@ in C++, I discovered that the interface to @SmallFpImpl@ is ne...
19 Apr 2012
- 23:59 CoCoALib Feature #134 (New): Convenience ring ctors and homs
- Here are some ideas for convenient ring ctors which make homs too:
* change PPOrdering (makes new poly ring, and pro... - 17:02 CoCoA-5 Feature #133 (New): Qt GUI: Make better distinction between input and output in the output window
- The following input:...
18 Apr 2012
- 22:22 CoCoALib Feature #107: Recognizing finite fields
- First impls have been made.
The cardinality is represented by a fn called @CardExp@ which gives the exponent of @p... - 22:10 CoCoA-5 Bug #38: GUI: open file "with C5"
- I sometimes have a similar problem with Firefox: if I double click on a @*.html@ file and Firefox was not already run...
- 22:01 CoCoA-5 Bug #94: Default reason for protected variables
- After trying some possibilities, my preference is now for the reason to appear in brackets, like this:...
- 17:04 CoCoA-5 Bug #94: Default reason for protected variables
- I suggest the following format for the error message:...
- 16:52 CoCoA-5 Bug #102: Packages: should exported functions be automatically "Protect"ed?
- I agree that names exported from packages should be protected (probably with the reason being that it was exported fr...
- 16:31 CoCoA-5 Bug #103 (Closed): Bad error mesg using operator ":"
- Corrected erroneous actual parameters in a call in @ColonExpression:implEval@ in file @Interpreter.C@.
I simply co... - 15:58 CoCoA-5 Feature #131: Conversion from bool to INT
- We cannot use the Iverson bracket syntax directly because it already has a meaning: @[N>0]@ will produce a list conta...
- 15:46 CoCoA-5 Feature #131: Conversion from bool to INT
- Re Automatic conversion:
* Advantages: no need to choose a name, compactness
* Disadvantages: possible ambiguity, uns... - 14:56 CoCoA-5 Bug #100: BringIn should map only the indets in its arg
- JAA suggests that @BringIn@ should be simple rather than "clever". For instance it should give an error in the follo...
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 ... - 21:10 CoCoA-5 Bug #132 (Closed): BringIn should allow reduction modulo p
- Currently @BringIn@ does not allow one to move from char 0 to char non-zero....
16 Apr 2012
- 16:36 CoCoA-5 Feature #131 (Closed): Conversion from bool to INT
- Alessio would like a conversion from {false,true} to {0,1}.
Wikipedia mentions a function called "Iverson bracket" w... - 15:50 CoCoALib Feature #40: Squarefree factorization - Alessio d'Ali`
- Alessio did numerous timing experiments to understand whether reordering the variables could lead to a useful gain in...
- 10:50 CoCoALib Feature #125: Matrix equation solving; linear system solving
- As mentioned in the previous post, currently I have used several fn names for solving linear systems: a generic fn, a...
- 10:45 CoCoALib Feature #125: Matrix equation solving; linear system solving
- 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
- 22:07 CoCoALib Bug #130 (New): Design problem in ideals
- Now that there is a linear system solver I tried to write a general implementation for
@SparsePolyRingBase::IdealImp... - 21:59 CoCoALib Slug #129: Better GCD
- Implemented a first version where some GCD computations are passed to the old CoCoA-4 code. It is a poor implementat...
- 21:38 CoCoALib Slug #129 (New): Better GCD
- Currently CoCoALib computes GCDs using GBasis/syzygy computations. This is often terribly slow -- there is faster co...
- 21:31 CoCoA-5 Bug #52 (Closed): GUI: problem with "--" comment
- Fixed.
*BUT* there remains a more subtle problem: the way the GUI determines the state of the parser appears to be...
13 Apr 2012
- 18:29 CoCoALib Feature #125: Matrix equation solving; linear system solving
- Added some doc in @MatrixArith.txt@, and a new test @test-matrix3.C@.
No new example program yet.
New fns not yet a... - 14:30 CoCoALib Feature #125: Matrix equation solving; linear system solving
- 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
- 21:10 CoCoA-5 Bug #118 (Resolved): unistd and call to access in Main.C
- 21:10 CoCoA-5 Bug #118: unistd and call to access in Main.C
- 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... - 14:27 CoCoALib Feature #127 (In Progress): Convert DUPFF code to C++
- Convert the old factorizer C code "DUPFF" into C++.
- 14:26 CoCoALib Feature #126 (New): New datastructures directory
- Create a new datastructures directory to hold source code for impls of various datastructures (e.g. the various Distr...
- 14:23 CoCoALib Feature #125 (In Progress): Matrix equation solving; linear system solving
- Add code for solving linear systems. There are several subcases:
* generic case over a field
* full rank and not f... - 14:12 CoCoALib Feature #124: change long args in matrices into MachineInt (?)
- The args being considered are "indices"; we should be consistent regarding all sorts of index (well, at least non-neg...
04 Apr 2012
- 15:56 CoCoA-5 Bug #118: unistd and call to access in Main.C
- The purpose of the original code is unclear -- indeed it looks implausible/wrong....
- 15:20 CoCoALib Feature #124 (Rejected): change long args in matrices into MachineInt (?)
- For "public" functions (not member functions) like...
- 13:07 CoCoALib Feature #123 (New): IdealOfPoints with generic coeffs
- Think about the implementation of IdealOfPoints in the case of generic coefficients (_e.g._ in *@QQ(a)@*)
Implement ... - 09:37 CoCoALib Feature #122 (Closed): Porting "LinKer"
- This issue is *closed*; it is a *DUPLICATE* of #206
Port cocoa-4 C code about LinKer to cocoalib.
- 09:22 CoCoALib Feature #121 (Closed): Porting "IdealOfPoints"
- Port in cocoalib the cocoa-4 C code about BuchbergerMoeller.
An important step in it is the lifting from Fp --> QQ...
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...
- 21:08 CoCoALib Slug #120: LT over QQ: surprisingly slow
- 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]@
- 20:40 CoCoALib Slug #120 (New): LT over QQ: surprisingly slow
- The following should compute a LT ideal of a small ideal (using lex).
It takes longer than I would expect over QQ --... - 19:05 Bug #53 (Resolved): MSVC10 compilation
- 19:03 Bug #58 (Closed): MSVC10 - more things and overhead
- Sundry other changes to accomodate MSVC bugs.
Added some @#if@ conditionals as workarounds; ideally these should e... - 19:00 Bug #54 (Closed): MSVC10 - #include <iterator>
- Added include directives for @iterator@ in the cases where it was needed.
- 18:58 Bug #55 (Closed): MSVC10 - static member fields
- Exercising the option not to define static data members if their addrs are not needed, I have removed all such defns,...
- 18:53 Bug #56 (Closed): MSVC10 - unistd.h
- All references to @unistd.h@ have been removed. The code now compiles on Windows (as well as Linux & MacOSX). This ...
- 18:50 Bug #57 (Closed): MSVC10 - BOOST_SCOPE_EXIT
- The problem was that @BOOST_SCOPE_EXIT@ requires at least 1 arg, though this is not entirely evident from their docum...
- 17:30 CoCoALib Bug #119 (Closed): CoCoA4io
- The file @CoCoA4io@ should not be inside CoCoALib -- it belongs in CoCoAServer.
Move it... will lead to some consequ... - 15:41 CoCoA-5 Bug #118: unistd and call to access in Main.C
- Discovering that BOOST seems to offer a ready-made solution, and that @access@ is old-style C-library.
- 15:40 CoCoA-5 Bug #118 (Closed): unistd and call to access in Main.C
- Replace call to @access@ in Main.C (about line 192) by calls to BOOST filesystem fns such as @exists@ and @is_regular...
- 14:58 CoCoA-5 Bug #117: Added 3 times defn of isblank fn
- As far as I can tell BOOST does not offer such a simple fn.
- 14:44 CoCoA-5 Bug #117 (Closed): Added 3 times defn of isblank 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
- 15:22 CoCoALib Feature #116 (Closed): ordering matrices with rational coefficients
30 Mar 2012
- 19:09 CoCoALib Feature #116 (Closed): ordering matrices with rational coefficients
- it is useful to allow rational coefficients (why not?) and appropriate conversion into ZZ when necessary (optimized O...
- 14:36 CoCoALib Bug #22: Rename PPMonoidEvZZ?
- We have not yet decided about internal impl names.
JAA still likes his suggestion made two posts ago.
- 14:34 CoCoALib Bug #22: Rename PPMonoidEvZZ?
- We don't have time to complete this change before 0.9950.
However we have decided that it is simplest for the user... - 12:55 CoCoALib Support #75: Documentation review by Caleo
- Alessandra reports:
# the examples are mostly OK; she reported some minor problems which J+A attended to immediately...
28 Mar 2012
- 14:29 CoCoA-5 Bug #115 (Closed): PP ordering bug
- The error was in Interpreter.C: I got the wrong "symmetry" with LessOrEqual....
- 13:53 CoCoA-5 Bug #115 (Closed): PP ordering bug
- ...
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...
Also available in: Atom