Activity
From 03 Apr 2012 to 02 May 2012
02 May 2012
-
19:37 CoCoALib Bug #149 (New): Makefile dependencies
- There are problems with dependencies for optional external libraries.
How to make these dependencies visible only ... -
- In emacs when an error occurs running code sent via C-c C-f (effectively "source") the user can use C-c C-p to go to ...
01 May 2012
-
- Impl the idea presented in AKR "Zero-dim Schemes" which uses modular reduction to get the form of the answer quickly ...
-
- Variants of BM which accept more convenient input (e.g. points or 0-dim ideals).
Simply convert inputs to sets of ... -
- Impl BM over a small prime finite field. Aim for speed.
Input ideals are represented as multiplication matrices (... -
- Implement generic BM algorithm over any field.
Aim is to make impl clean rather than fast.
Each input ideal is re... -
- Robbiano wants to have Buchberger-Moeller in C5. It makes most sense to implement it in CoCoALib and then make it vi...
30 Apr 2012
-
- If ref counting is removed (seems to be highly desirable to avoid it in multithreaded programs) then CoCoALib needs t...
-
- Currently CoCoALib can be made (largely?) threadsafe by compiling with the flag *@-DCoCoA_THREADSAFE_HACK@*. As its ...
-
-
- I was running a CoCoA-5 compiled with *@-DCoCoA_THREADSAFE_HACK@*. The leaks I observed disappeared when I removed t...
-
- The following code has the symptoms of a memory leak (grows to about 650Mbytes):...
27 Apr 2012
-
- Implemented the chosen names.
Created/corrected CoCoALib doc for the new fns.
Added CoCoALib example program *@ex-m... -
- A quick count using Google suggests that *@LinSolve@* as about twice as popular as *@MatSolve@*. Anna points out tha...
-
15:00 CoCoALib Feature #50: Polynomial content
- Tests and doc are already done for CoCoA-5.
Still missing in CoCoALib -
- Alessandra reports
* finished *@BigInt@*, *@BigRat@* and *@MachineInt@* (doc and examples)
* *@bool3@* doc was poor; ... -
- Alessandra reported (some time ago) that the doc for *@convert@* was rather unclear -- she could not figure out how t...
-
- John Abbott wrote:
> The BOOST equivalent of @bool3@ is called @tribool@. It offers automatic conversion to and from... -
- Caleo pointed out that it is unclear what *@AsFractionField@* does.
JAA has already noticed that it is a nuisance ha... -
- Confirmed need for major redesign.
Current main doubt is how public I should be about the type *@SmallFpImpl::valu...
26 Apr 2012
-
- After talking to AMB, it seems best to "forget" the general function for the time being (until we have a genuine need...
-
- John Abbott wrote:
> We need a good name for this fn. The name @CoefficientsWRT@ would be fairly good, but could be ...
24 Apr 2012
-
- The BOOST equivalent of @bool3@ is called @tribool@. It offers automatic conversion to and from @bool@.
I have al... -
- Added C5 documentation for @IsFiniteField@, @LogCardinality@, @IsPthPower@ and @PthRoot@.
JAA wonders whether *@Ext... -
- JAA now believes that he has a decent algorithm for testing a polynomial ideal for maximality. As prerequisite it ne...
-
- If we change to "subscript" instead of index then we must change the name of the "index" field in the result of @Inde...
-
- C5 inherited from C4 the name @IndetInd@. It is the function which produces a list of "indices" from a indet, _e.g._...
-
- JAA thinks that the most useful form of @CoeffsWRTBasis@ is one where the basis is an ordered set of PPs. Mathematic...
-
- Part of this task has already been solved by #90 @CoefficientsWRT@.
JAA now needs a fn which converts a polynomial i... -
- I cleaned the code so that it leaks less memory now.
The cleaning was a consequence of some other development.
23 Apr 2012
-
- Robbiano confirmed that the blank lines and prompts are a new "feature" of the C5 GUI produced recently by Abbott -- ...
-
- Mac users expect to find drop down menus on the top menu bar.
CoCoA GUI offers no such menu for editing commands (su... -
- Where should the documentation go?
-
- I have made the following fns available in CoCoA-5:
* @IsFiniteField@
* @LogCardinality@
* @IsPthPower@
* @PthRoot@
...
20 Apr 2012
-
- While speaking to Renzo about choosing the name, I realised that solving a linear system is slightly different from s...
-
- I really don't like the name @CardExp@ -- I think it is too cryptic.
The value it returns is log(cardinality)/log(... -
- After starting work on the reimplementation of @DUPFF@ in C++, I discovered that the interface to @SmallFpImpl@ is ne...
19 Apr 2012
-
- Here are some ideas for convenient ring ctors which make homs too:
* change PPOrdering (makes new poly ring, and pro... -
- The following input:...
18 Apr 2012
-
- First impls have been made.
The cardinality is represented by a fn called @CardExp@ which gives the exponent of @p... -
- I sometimes have a similar problem with Firefox: if I double click on a @*.html@ file and Firefox was not already run...
-
- After trying some possibilities, my preference is now for the reason to appear in brackets, like this:...
-
- I suggest the following format for the error message:...
-
- I agree that names exported from packages should be protected (probably with the reason being that it was exported fr...
-
- Corrected erroneous actual parameters in a call in @ColonExpression:implEval@ in file @Interpreter.C@.
I simply co... -
- We cannot use the Iverson bracket syntax directly because it already has a meaning: @[N>0]@ will produce a list conta...
-
- Re Automatic conversion:
* Advantages: no need to choose a name, compactness
* Disadvantages: possible ambiguity, uns... -
- JAA suggests that @BringIn@ should be simple rather than "clever". For instance it should give an error in the follo...
17 Apr 2012
-
- 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
-
- 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 ...
Also available in: Atom