Project

General

Profile

Activity

From 26 Nov 2012 to 25 Dec 2012

21 Dec 2012

15:57 CoCoALib Slug #129: Better GCD
(copied from some old handwritten notes)
GCD univ over QQ and ZZ (with normalization)
............. Fp (...
John Abbott
15:25 CoCoA-5 Support #290 (In Progress): Which functions are defined in CoCoALibSupplement?
Note for AMBigatti: explain the philosophy of what goes where. Anna Maria Bigatti

19 Dec 2012

17:25 CoCoALib Feature #84 (Feedback): Names for random streams
The unified documentation had not been finished. It is now much better, and can be regarded as good enough (though s... John Abbott
16:47 CoCoALib Feature #289 (New): PrimeField -- new fn?
Is it worth adding a new fn *@PrimeField@*?
@PrimeField(0)@ gives @RingQQ()@
@PrimeField(p)@ gives @NewZmod(p)@
...
John Abbott

17 Dec 2012

16:12 CoCoA-5 Feature #273: Package for Polynomial Algebra Homomorphisms
Giulia has done several examples in quotients of polynomial algebras.
She had various questions (mostly related to f...
John Abbott

14 Dec 2012

18:20 CoCoALib Support #288 (Closed): DynamicBitset example using LPP
Add documentation to show how to create a @DynamicBitset@ from a polynomial (which happpens to be a monomial). All y... John Abbott

12 Dec 2012

19:10 CoCoALib Feature #283: Rational approximation
Added tests for various functions related to continued fractions. As a consequence, I found another bug (and fixed it). John Abbott
16:06 CoCoA-5 Bug #287: --fullCoCoALibError prints too much (Try/UponError)
Here is a simplistic solution: print all the "stack backtrace" information to a @string@. If the error is caught som... John Abbott
12:00 CoCoA-5 Bug #287: --fullCoCoALibError prints too much (Try/UponError)
It seems difficult to do because the error is actually dealt with by a proper C++ *try*, whereas printing (the error ... Anna Maria Bigatti
11:21 CoCoA-5 Bug #287 (New): --fullCoCoALibError prints too much (Try/UponError)
When using the flag *--fullCoCoALibError* CoCoA-5 prints the full CoCoALib error message.
It does so even inside t...
Anna Maria Bigatti
15:52 Support #266 (In Progress): Compilation on M$Windows: cygwin
I have added a new file *@INSTALL-cygwin@* in the CoCoA root directory; it contains a summary of various hints for pr... John Abbott
12:24 CoCoA-5 Support #286: How to test (automatically) a user defined CoCoA function
I describe here an easy way to check a list of tests (from @CoCoA-5/tests/anna.cocoa5@):... Anna Maria Bigatti
10:43 CoCoA-5 Feature #101: rethrow in Try .. UponError .. EndTry
What about this?
(note that, as said above, all other error information is lost :-( )...
Anna Maria Bigatti

11 Dec 2012

18:52 CoCoA-5 Support #286 (Closed): How to test (automatically) a user defined CoCoA function
When developing and changing a cocoa function it is useful to repeatedly run some tests.
Explain how to do this easily.
Anna Maria Bigatti
18:34 CoCoALib Feature #283 (Feedback): Rational approximation
JAA has changed the names (as agreed in point 2). Also changed doc.
Fixed a bug -- it gave the wrong answer for a...
John Abbott

10 Dec 2012

16:12 CoCoA-5 Feature #273: Package for Polynomial Algebra Homomorphisms
Giulia has finished the implementations for the easy case (polynomial algebras). There was some discussion of *@IsIn... John Abbott
15:30 CoCoA-5 Feature #101: rethrow in Try .. UponError .. EndTry
What is the correct way to write a CoCoA-5 test which checks that a certain call produces the expected error? It sho... John Abbott

07 Dec 2012

14:52 CoCoALib Feature #84 (Resolved): Names for random streams
Anna Maria Bigatti

06 Dec 2012

16:24 CoCoALib Support #285 (Closed): Notes for adding/removing files from documentation
When adding or removing files from *CoCoALib-0.99NN/doc/txt* there are a few operations to do in *@doc/aux-txt2tags@*... Anna Maria Bigatti
16:16 CoCoA-5 Feature #273: Package for Polynomial Algebra Homomorphisms
Giulia showed her restructured code: generally very good, just a few minor criticisms were made.
For next time, she ...
John Abbott

05 Dec 2012

16:56 CoCoA-5 Feature #284 (Closed): BuiltInFunctions: more flexible typing in one-line function declaration
In file *BuiltInOneLiners* there are many function wonderfully declared in one line.
Unfortunately sometimes we need...
Anna Maria Bigatti
15:46 CoCoALib Feature #283 (In Progress): Rational approximation
JAA has implemented the fn in CoCoALib, and also make it available in CoCoA-5.
It remains only to decide the name(s),...
John Abbott
15:31 CoCoALib Feature #283: Rational approximation
Proposals for the name of the function:... John Abbott
14:58 CoCoALib Feature #283: Rational approximation
JAA proposes a function *@SimplestRationalInInterval@* which makes publicly accessible a feature already used interna... John Abbott
14:55 CoCoALib Feature #283 (Closed): Rational approximation
Add a new function which computes a good rational approximation within a specified *absolute* error. Laura needs thi... John Abbott
14:55 CoCoALib Feature #150 (In Progress): RingOf rather than owner? (and than AmbientRing, ...)
There are other cases: now I'm working on a (private) file with *GBEnv* and the function to get it form an object is ... Anna Maria Bigatti

04 Dec 2012

18:22 CoCoALib Feature #84: Names for random streams
AMB will unify the documentation files -- and update the names of the random sequence classes!
JAA will unify the co...
Anna Maria Bigatti
12:02 CoCoALib Feature #84: Names for random streams
Approved the idea of *unifying the sources* after verbal discussion.
The best unified name seems to be *@random@*.
John Abbott
11:57 CoCoALib Feature #84: Names for random streams
Discussion via Skype:
instead of *sample* use *NextValue* to access a new element from a *RandomStream..*
Anna Maria Bigatti
11:27 CoCoALib Feature #84: Names for random streams
Following Alessandra Caleo's criticisms (see issue #75), we have modified the documentation and examples to make them... John Abbott
12:14 CoCoALib Feature #282 (New): Global setting: to use IsProbPrime in place of IsPrime
An idea: since *@IsPrime@* can be extremely slow for larger inputs, and since *@IsProbPrime@* is normally extremely r... John Abbott

03 Dec 2012

15:31 CoCoALib Feature #281 (New): Store unique copy of FF(p) in GlobalManager
Now calling *ZZ/(7)* twice produces two different rings.
Maybe that should be stored into GlobalManager.
Anna Maria Bigatti

30 Nov 2012

16:26 CoCoALib Support #75 (Closed): Documentation review by Caleo
Alessandra reports:
* what does @flush@ do in @ex-GMPAllocator2.C@? (*ok, fixed now*)
* @ex-NF.C@ not mentioned in d...
John Abbott
11:31 CoCoA-5 Bug #280 (Feedback): EmacsUI: indentation is wrong with parentheses
changed relevant code in cocoa5.el into... Anna Maria Bigatti

29 Nov 2012

18:26 CoCoA-5 Bug #280: EmacsUI: indentation is wrong with parentheses
I believe the problem is in lines 697-698 when the value for @par@ is computed.
It is not clear to me how the value ...
John Abbott
15:04 CoCoA-5 Bug #280: EmacsUI: indentation is wrong with parentheses
I believe the Emacs code for C/C++ is in @cc-mode.el@. On my computer the full path is:
*@/usr/share/emacs/22.1/lis...
John Abbott
11:52 CoCoA-5 Bug #280: EmacsUI: indentation is wrong with parentheses
I have had a quick look at the Emacs LISP source code. It is not terribly readable. I believe the relevant function... John Abbott
11:30 CoCoA-5 Bug #280 (Closed): EmacsUI: indentation is wrong with parentheses
cocoa5-mode indents wrongly withing parentheses (and one student got worried ;-)... Anna Maria Bigatti
08:17 CoCoA-5 Bug #279 (Closed): Bug in Radical (actually a RingHom problem)
this gives an error:... Anna Maria Bigatti

28 Nov 2012

11:38 CoCoALib Feature #50 (Feedback): Polynomial content
Anna Maria Bigatti
11:37 CoCoALib Feature #51 (Feedback): polynomial coefficient extraction w.r.t. variable
Anna Maria Bigatti
11:34 CoCoALib Feature #278 (Closed): add CoeffVecWRT to cocoalib
Write C++ code for *@CoeffVecWRT@*, corresponding to the cocoa-5 function CoeffListWRT (with indices shifted by 1, as... Anna Maria Bigatti
11:31 CoCoA-5 Feature #90 (Closed): Make the new fn CoefficientsWRT available in C5
I added *@CoeffListWRT@* to @NotBuiltin.cpkg5@.
Added and fixed manual for @CoeffListWRT@, @coefficients@, @Coefficie...
Anna Maria Bigatti
11:02 CoCoALib Feature #215: Janet Bases: check and include code in CoCoALib (first prototype)
Last night I tried compiling CoCoALib on my old Mac G5, and the compiler reported a problem in @TmpJBSet.H@ -- the da... John Abbott

27 Nov 2012

09:52 CoCoA-5 Support #176: CoCoAManual: Doc for new commands
missing doc for *one* and *zero* Anna Maria Bigatti

26 Nov 2012

19:30 CoCoA-5 Feature #90: Make the new fn CoefficientsWRT available in C5
In CoCoALib *@CoefficientsWRT@* accepts both a @RingElem@ and a _list of indets_ as 2nd arg, and produces the same ty... John Abbott
16:41 CoCoA-5 Feature #90 (Resolved): Make the new fn CoefficientsWRT available in C5
@coefficients(4*x^3+2*x+1, x);@ had been disabled.
Write @CoefficientsWRT(F, x);@ returning the coefficients of F wrt...
Anna Maria Bigatti
16:47 CoCoA-5 Feature #273: Package for Polynomial Algebra Homomorphisms
Giulia has converted her code into functions. The code performs some sanity checks on the arguments, but she was una... John Abbott
 

Also available in: Atom