Activity
From 14 Apr 2015 to 13 May 2015
13 May 2015
-
17:59 CoCoALib Feature #658: Indets actually in a poly (or vector or matrix)
- An advantage of @vector<bool>@ is that it avoids the problem/incompatibility of indices in C++ starting from 0 (both ...
-
- JAA and AMB think that there is little need to have a similar function in CoCoALib since there are the CPP defines @C...
-
16:41 CoCoA-5 Feature #700: Which external libs are present?
- Done.
Just fiddling with the string returned by... -
- Some ideas:
* a function @ExternalLibs@ which returns a list of strings
* a function @HaveExternalLib@ which expect... -
- It might be nice to have a way in CoCoA-5 to know which external libs are actually present.
-
- This issue is not so important (hence priority *low*); not even sure it is worth fixing, as it may complicate the bui...
-
- If you have CoCoALib already (configured and) compiled, and want to repeat compilation but also including an external...
12 May 2015
-
- John Abbott wrote:
> JAA notes that Emacs lisp has the built-in variable *@system-type@* which gives information abo... -
- JAA notes that Emacs lisp has the built-in variable *@system-type@* which gives information about which OS is running...
-
- Anna Maria Bigatti wrote:
> So, we cannot remember why we did this change: probably to allow spaces in path.
We r... -
- In earlier versions @cocoa5-executable@ was @CoCoAInterpreter@.
Now it is the script @cocoa5@ (and this caused prob... -
- The problem was solved and tested on a student's computer.
It is enough to add one line in the file *<cocoadir>/emac... -
- The recent installation of CoCoA for the Computer Algebra course in Genoa showed a problem on Windows in finding pack...
11 May 2015
-
- Done.
If the matrix is over an IntegralDomain then it is mapped into FractionField.
Then the inverse is mapped back... -
- Anna says OK for the name -- hard to find a shorter name which is clearer.
I have clarified the manual.
Closing.
-
- I noticed that some of Christof's code uses @rank@; I have written to him asking whether it would be resaonable to ch...
-
- I think everything has now been done.
-
- CoCoA-5 prints an empty line after each input line which outputs nothing.
Might be related to the fact that standa... -
10 May 2015
-
- Currently the function is called @eratosthenes@; is there a better name?
The doc needs slight clarification @erato... -
- Can we close this?
09 May 2015
-
- The implementation will almost surely be best done via mem fns since the actual inner working of an "accumulator" wil...
08 May 2015
-
- Following CoCoALib conventions the return type should be @vector<long>@.
What should the values in the vector be? ... -
- This issue has status @Feedback@ but the percent done is just 20%.
What is the actual status? Should this issue be ... -
- I have implemented a first version of @AdjByDetOfMinors@; it may already be obsolete because I have also implemented ...
-
- There is a file @test-OrderedRing1.C@ which is not actually executed.
Either fix it so that it works (currently fail... -
- Commented out code could make sense in the following cases:
* the test is valid, but the relevant CoCoALib code is N... -
- Several test files contain commented out code; this should either be removed or made active (or perhaps add a clear c...
-
- Actually I am rather surprised that it is not necessary for all tests.
Investigate why it works without explicitly... -
- Some test files explicitly include @CoCoA/assert.H@ but many do not.
Check that it is truly needed when it is pres... -
- JAA has finished all test files. Will check-in, then we can verify on several platforms that all is well.
-
- Here is an invertible 3x3 matrix...
-
- The excesive verbosity has arisen again: @Rank@ was exported from 2 packages (@BackwardCompatible@ and @obsolescent@)...
-
- generated cvs log...
07 May 2015
-
- JAA has now done @test-[J-Q]*.C@ and @test-[a-h]*.C@
-
- The file @src/tests/Makefile_dependencies@ seems to be suspiciously simple. Either it is wrong or it is pointless. ...
-
- Anna Maria Bigatti wrote:
> - when @IsZeroDivisor@ is called and should return @false@ then its ring is not integral...
04 May 2015
-
- In the example given I note that @x@ is actually a *protected* variable -- perhaps even more reason for a warning?
-
- In function definitions local variables hiding outer ones are signalled by a Warning.
At top level not. This might ...
30 Apr 2015
-
- Also @x/i@ is working now.
(will cvs it this afternoon) -
- ...
29 Apr 2015
-
- Polishing up all the code is always long and tedious....
Anyway!
The code is there and it works.
I still have prob... -
- Hint: @DenseMatrix.C:462@ the dispatch function @DenseMatImpl::myDet@ does not handle matrices over ZZ specially -- t...
-
- Just as a speed comparison reference I computed @3^(3^17)@ on both machines:
* old G4 took about 50s (on battery pow... -
- I've just tried a 1000x1000 matrix: the old G4 took about 550s, my newer MacBook Pro took 1400s. Embarrassing!
*NOT... -
- What?!? My dad's ancient iBook G4 is just as fast as my much newer MacBook Pro???
Something must be seriously wro... -
- I tried computing the following:...
24 Apr 2015
-
- Let's start with just yours, for many reasons:
- it is simpler, as you said
- indeed that's also what I needed ;-)
... -
- We could simply have both; that way the user can choose which is more convenient (or efficient).
If we do choose t... -
- I wanted a @RandomSubset@ function which generated a random subset of @1..n@ of cardinality @r@. I was surprised whe...
-
- I do find it annoying when CoCoA says that name @XYZ@ is a package-exported variable but then does not tell me which ...
23 Apr 2015
-
- What exactly should the interface be?
Who does the Chinese remaindering?
Which single rational reconstructor shou... -
- Implement the algorithm for simultaneously reconstructing several rational numbers.
-
- Suggested name of the new fn is @BadMFactor@; other candidates?
-
- In @RatReconstructByContFrac@ the bad factor of the combined modulus is computed; make it publicly accessible
22 Apr 2015
-
- I thought that it could be improved using geobuckets, so I searched the actual code performing the computation.
It i... -
- We found this slug while workig on @Implicit@ (evaluation for checking the final output can be very slow)
-
- Application of PolyAlgebraHom can be unreasonably slow (this is indeed a problem in optimizing multivariate evaluation)
20 Apr 2015
-
-
- Better names:
* *@myMoveLMToFront@*
* *@myMoveLMToBack@*
* *@myAddMulLM@*
-
- John Abbott wrote:
> Mario Albert calls @myAddMul@ in a "bad" way in @TmpJBEnv.C:323@.
> From his comments it seems... -
- Renaming is done now. Isn't it?
-
- As it works for me and for Anna, I'm closing the issue. The EmacsUI code really needs to be completely rewritten, bu...
-
- It works for me.
-
- also related to #91
19 Apr 2015
-
- I ran the following test:...
-
- While testing/profiling @IndetsIn@ (defined in @BuiltinOneLiners.C@) I noticed that the arg was copied by the fn, mak...
-
- I am still undecided about the "return" value (and its type):
* *A* a list of integer indices (presumably of type @ve...
17 Apr 2015
-
- I have impl'ed a first version (simple rather than efficient).
Not yet checked in; I want to do some testing first.
-
- Mario Albert calls @myAddMul@ in a "bad" way in @TmpJBEnv.C:323@.
From his comments it seems he wants to do:... -
- I have just added a check that the first arg must be non-zero (o/w LM does not exist).
Should it be an error or a @C... -
- The mem fn @SparsePolyRingBase::myAddMul@ has strange semantics; the only documentation is a 1 line comment in the so...
16 Apr 2015
-
- JAA does not much like the current approach (variable @PkgOut@).
If a package provokes an error then the screen fill... -
- Now resets error counter before reading each package (@Main.C:289@).
-
- We shall need collections of @DivMask@ mirroring the elements of @myCornerList@ and @myAvoidList@. A complication ar...
-
- Internally @QBGenerator@ usually makes very many divisibility tests; use @DivMask@ to make these tests faster.
Thi...
15 Apr 2015
-
- Is there a @MaxExp@ function? At least one @PPMonoid@ has no upper limit on exponents; what value should be used in ...
-
- Just to wake up this thread as I have modified @QBGenerator@ lately.
Does anyone actually need @myNewCorner@ list?... -
- I think I have fixed it; not entirely sure because several Emacs Lisp fns do not work the way I expected them too (or...
-
- Perhaps the naive reverse search can be replaced by a call to @cocoa5-last-unended-begin@ which should be intelligent...
14 Apr 2015
-
- I confirm it is just based on a trivial search for "define"
-
- The following in complete code adds the wrong commented out name after doing @C-c C-e@ (calls @cocoa5-close-block@):
... -
- OK I can try doing the tests (sometime over the next few days).
-
- 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... -
- The internal representation of module in GBasis computations is through an embedding into a polynomial ring.
The ind... -
- Here are two potentially related fns:
* @InvolvesOnlyTheseIndets@ which returns a @bool@ -- could be much faster than... -
- A possible name: *@IndetsIn@*
I would like to have *IndetsIn* also for a list (which is assumed to be "homogeneous",... -
- Perhaps we will need two overflow check fns:
* @myMulOverflowCheck@
* @myMulByIndetPowerOverflowCheck@
It would ... -
- I have recently added the fn @PowerOverflowCheck@ for PPs; implemented via mem fn @myPowerOverflowCheck@. Currently ...
Also available in: Atom