Project

General

Profile

Activity

From 18 Mar 2015 to 16 Apr 2015

16 Apr 2015

22:39 CoCoA-5 Feature #652: Flag to enable/disable printing of list of loaded packages
JAA does not much like the current approach (variable @PkgOut@).
If a package provokes an error then the screen fill...
John Abbott
22:28 CoCoA-5 Feature #652: Flag to enable/disable printing of list of loaded packages
Now resets error counter before reading each package (@Main.C:289@). John Abbott
12:52 CoCoALib Feature #685: Use DivMask inside QBGenerator
We shall need collections of @DivMask@ mirroring the elements of @myCornerList@ and @myAvoidList@. A complication ar... John Abbott
12:44 CoCoALib Feature #685 (New): Use DivMask inside QBGenerator
Internally @QBGenerator@ usually makes very many divisibility tests; use @DivMask@ to make these tests faster.
Thi...
John Abbott

15 Apr 2015

20:22 CoCoALib Design #683 (In Progress): Module index component in internal compressed representation
Is there a @MaxExp@ function? At least one @PPMonoid@ has no upper limit on exponents; what value should be used in ... John Abbott
20:15 CoCoALib Bug #232: No test for QBGenerator
Just to wake up this thread as I have modified @QBGenerator@ lately.
Does anyone actually need @myNewCorner@ list?...
John Abbott
20:13 CoCoA-5 Bug #684 (Resolved): Emacs UI: wrong name after auto-inserting enddefine
I think I have fixed it; not entirely sure because several Emacs Lisp fns do not work the way I expected them too (or... John Abbott
10:35 CoCoA-5 Bug #684: Emacs UI: wrong name after auto-inserting enddefine
Perhaps the naive reverse search can be replaced by a call to @cocoa5-last-unended-begin@ which should be intelligent... John Abbott

14 Apr 2015

18:36 CoCoA-5 Bug #684: Emacs UI: wrong name after auto-inserting enddefine
I confirm it is just based on a trivial search for "define" Anna Maria Bigatti
15:37 CoCoA-5 Bug #684 (Closed): Emacs UI: wrong name after auto-inserting enddefine
The following in complete code adds the wrong commented out name after doing @C-c C-e@ (calls @cocoa5-close-block@):
...
John Abbott
15:20 CoCoALib Design #683: Module index component in internal compressed representation
OK I can try doing the tests (sometime over the next few days).
John Abbott
13:57 CoCoALib Design #683: Module index component in internal compressed representation
I think 10000 can be replaced by @max_exp@ (how is it called in cocoalib?)
I don't think it is ever used in operation...
Anna Maria Bigatti
13:50 CoCoALib Design #683 (Closed): Module index component in internal compressed representation
The internal representation of module in GBasis computations is through an embedding into a polynomial ring.
The ind...
Anna Maria Bigatti
14:05 CoCoALib Feature #658: Indets actually in a poly (or vector or matrix)
Here are two potentially related fns:
* @InvolvesOnlyTheseIndets@ which returns a @bool@ -- could be much faster than...
John Abbott
13:59 CoCoALib Feature #658: Indets actually in a poly (or vector or matrix)
A possible name: *@IndetsIn@*
I would like to have *IndetsIn* also for a list (which is assumed to be "homogeneous",...
John Abbott
11:23 CoCoALib Feature #682: PPMonoid: add fn to check for overflow in products
Perhaps we will need two overflow check fns:
* @myMulOverflowCheck@
* @myMulByIndetPowerOverflowCheck@
It would ...
John Abbott
11:18 CoCoALib Feature #682 (New): PPMonoid: add fn to check for overflow in products
I have recently added the fn @PowerOverflowCheck@ for PPs; implemented via mem fn @myPowerOverflowCheck@. Currently ... John Abbott

13 Apr 2015

23:31 CoCoALib Feature #437: MemPool: order free blocks?
I have just looked at some stats about @MemPool@ in one very particular example, and now wonder whether sorting the e... John Abbott
23:25 CoCoALib Feature #681: MemPool: make it easier to get just stats
Currently it is possible to get some stats reports from @MemPool@ objects by doing all of the following:
* @MemPoolD...
John Abbott
23:20 CoCoALib Feature #681 (New): MemPool: make it easier to get just stats
I wanted to get some usage stats from @MemPool@ objects; it was not as easy/helpful as I would have liked. John Abbott
22:22 CoCoALib Bug #680: DistrMPolyClean does not use MemPool for summands?
Why is the @MemPool@ object which is given to @DistrMPoly@ ignored?
MemPool logging shows that the summand pool is...
John Abbott
22:18 CoCoALib Bug #680 (Resolved): DistrMPolyClean does not use MemPool for summands?
It seems that @DistrMPolyClean@ does not use @MemPool@ for summands even though a suitable @MemPool@ as passed as arg... John Abbott
16:21 CoCoA-5 Feature #652: Flag to enable/disable printing of list of loaded packages
Not quite this topic, but very close. I made a "mistake" in a package file which produced an annoying "warning"; thi... John Abbott
15:43 CoCoA-5 Bug #275: Unhelpful error messages when SmallExponent_t is unsigned char.
I have just tried all tests with @SmallExponent_t@ set to @unsigned char@, and @myMaxComponentIndex@ set to 100 (inst... John Abbott
15:13 CoCoA-5 Bug #275: Unhelpful error messages when SmallExponent_t is unsigned char.
I have again encountered the problems (failing tests) with using @unsigned char@ for exponents. I wanted to use very... John Abbott
15:01 CoCoALib Slug #679: power for PPs is too slow
I have implemented a first version. All tests pass. Still needs cleaning; must update doc. I'll pass prototype to ... John Abbott
14:59 CoCoALib Slug #679: power for PPs is too slow
The proposed design is for each @PPMonoid@ to offer 2 fns:
* @myPower@ which just computes the power *without checkin...
John Abbott
14:54 CoCoALib Slug #679 (Closed): power for PPs is too slow
Profiling showed that powering PPs incurred a significant time penalty in the (prototype) code for @ImplicitDirect@.
...
John Abbott

10 Apr 2015

10:40 CoCoALib Feature #520 (In Progress): Compute inverse in quotient ring (i.e. division in algebraic extn)
Implemented @SparsePolyRingBase::IdealImpl::myDivMod@ for the 0-dimensional case.... Anna Maria Bigatti

09 Apr 2015

21:46 CoCoALib Feature #678: Accumulator (like a geobucket)
Note: perhaps also consider the design of C++ @std::accumulate@? Is there anything in BOOST?
My (vague) idea is t...
John Abbott
21:36 CoCoALib Feature #678: Accumulator (like a geobucket)
I have just written @DetDirect@ which computes the sum of many terms (one for each permutation). In order to get dec... John Abbott
21:30 CoCoALib Feature #678 (In Progress): Accumulator (like a geobucket)
Consider creating a general "accumulator" for ring elems, a sort of generalization of a geobucket. John Abbott

02 Apr 2015

17:55 CoCoA-5 Support #677 (New): Credits to CoCoA-5 contributors
If we want (and we want) to attract contributions we need to find a proper way to give them credits for their work, a... Anna Maria Bigatti
17:53 CoCoALib Support #676 (In Progress): Credits to CoCoALib contributors
If we want (and we want) to attract contributions we need to find a proper way to give them credits for their work, a... Anna Maria Bigatti

28 Mar 2015

09:18 CoCoALib Slug #675: Matrix determinant over multivariate poly ring
In my specific instance the direct algorithm (as alternating sum of products) would be best.
The problem with mult...
John Abbott
09:16 CoCoALib Slug #675 (In Progress): Matrix determinant over multivariate poly ring
CoCoA can be too slow and require too much RAM for computing determinant of a matrix of multivariate polynomials.
...
John Abbott

26 Mar 2015

11:53 CoCoALib Bug #15: Adjoint of a non-invertible matrix
I am planning to implement a direct algorithm: each entry in the @adj@ is just a determinant, and each determinant is... John Abbott

25 Mar 2015

15:59 CoCoALib Bug #15: Adjoint of a non-invertible matrix
Even @AdjByDetOfMinors@ takes too long for a 6x6 matrix of distinct indets. Why?
*2015-03-26 NOTE* I think the prob...
John Abbott
15:22 CoCoALib Bug #15: Adjoint of a non-invertible matrix
@adj@ is a very simple function: it chooses between @AdjByDetOfMinors@ and @AdjByInverse@.
What do you think @AdjB...
John Abbott
14:52 CoCoALib Bug #15 (In Progress): Adjoint of a non-invertible matrix
I do not recall when, but @adj@ has aleady been added to CoCoALib.
It has a *VERY BAD SLUG*: even after several mi...
John Abbott
 

Also available in: Atom