Activity
From 02 Jun 2015 to 01 Jul 2015
01 Jul 2015
-
18:40 CoCoALib Feature #520 (Closed): Compute inverse in quotient ring (i.e. division in algebraic extn)
- No problems arisen in the last month (perhaps not much real testing either?)
Anyway, closing.
-
- JAA checked, fixed a few oversights. Otherwise seems fine now. Closing.
-
- After a brief testing period, the mechanism works (but the C5 interpreter needs to be improved so that a helpful mess...
-
- Currently the C5 interpreter catches @CoCoA::InterruptReceived@ as it should, but it gives no message to the user. A...
-
-
- In file @C5.C:1000@ there is a function @MainWindow::closeEvent@
JAA thinks that this is probably the function ne...
30 Jun 2015
-
- When CoCoALib produces an error which is then caught by CoCoA-5, the only information from the error which is shown t...
-
15:57 CoCoA-5 Feature #78: Elim ordering and matrix ordering in CoCoA-5
- Probably we can implement this:...
-
- Found this @C5.C:931@...
-
- Closing is practically instant if I do first a "Clear output window" and then close the C5 GUI. This suggests that c...
-
- The GUI is slow to close also after simply computing and printing @(x+y+z+1)^99@.
JAA think that this confirms tha... -
- syntax now aligned with Elisa Palezzato's code
-
- all done
-
- OK for "RingsOf". Changing manual and making "RingSet" obsolscent
-
- We use the name *@rk@* for the main function, but allow @Rank@ as a component of a compound name (to increase readabi...
-
-
- Doesn't seem to be enough to give a suitable error message to cocoa5.
(interrupt code is in @TmpGReductor.C@ and tes... -
- No news on this topic for a long time: I guess that's good enough! ;-)
-
-
- Added the package in the distribution. Still missing: documentation, proper handling for big prime characteristic (a...
-
- Tried: it works fine for me. Close?
-
- Normaliz is making a new release and we will refine the configuration in September (in Aarhus)
-
- I believe it is all done: there was a problem using @program()@ instead of @CoCoA::program()@ with John compiler, it...
29 Jun 2015
-
- Anna suggests the result could be a @DynamicBitset@; these appear to be like @vector<bool>@ but also support bitwise ...
-
- JAA observes that we already have some vaguely similar functions:
* @radical(PP)@ same as @gcd(PP,product(all_indet... -
- On my 32-bit linux virtual machine I observe the following:
* with @int@ and @long@ all loops take about 3.0s (NB @i... -
- Implemented. Documented. Not really tested :-(
Status --> feedback.
-
- The implementations appear to allow the factor (whose multiplicity is to be computed) to be composite. If the factor...
-
- I like it as it is:...
-
- Apparently everything was already checked in... So I'm considering that ad hoc in-house testing has already happened...
28 Jun 2015
-
- Just to make life more entertaining...
* @FactorMultiplicity@ is defined in @GCDFreeBasis.cpkg5@, and does not requi... -
- After looking on Wikipedia, it seems that *valuation* is a fairly advanced concept with several different (but relate...
-
-
- I get some strange timings on my computer (MacOSX-10.5.8, old compiler)....
-
- Here is a simplistic test program I have written. It should let you test whether any speed gain is likely if you vie...
-
- JAA believes that we are already using this trick for order vectors (managed by @OrdvArith@).
Is it worth doing th... -
- Current implementations for exponent vectors (in PPMonoid elements) treat them as arrays of @SmallExponent_t@.
It ... -
- Apparently I have already done almost everything (but still have to check in).
I was surprised to see that we do not... -
- I have added a new command flag *@--no-readline@*; it seems to work as desired.
I have also modified @cocoa5.el@ s... -
- It seems that a few things noted in issue #83 should actually be in this issue.
Apparently C++11 has a way of find...
26 Jun 2015
-
- moving the line seems to have solved the problem of "pending interrupt".
-
- John Abbott wrote:
> I have found this line at @Interpreter.C:2740@
> [...]
>
> It appears to be executed only ... -
- I have found this line at @Interpreter.C:2740@...
-
- Is this a possible solution?
The interpreter checks //before starting a computation// for (un-caught) interruption a... -
- JAA has now implemented a simple superclass @CoCoA::exception@ from which all exceptions which CocoALib could throw m...
-
- Code has been updated, tested, documented (with simple example). Checked in.
Changing status to @feedback@.
-
-
-
- No problems encountered after 1 month in feedback. Closing.
-
- Tested on my computer: pending interrupt and caught interrupt, they both work! Closing
-
- I've been using the current code for a little while (not really proper testing), and no problems have come up. So ch...
-
- The window closes quickly if you do not first compute (and print) @Fact(100000)@.
Needs more investigation to discov... -
- The C5 GUI can be VERY slow to close (while making intensive use of the processor) in some circumstances.
Here is ... -
- seems effectively done: close this issue?
-
-
- One problem is how to make it easy to use an elimination ordering.
Currently one has to write:...
25 Jun 2015
-
- JAA has done @ex-[A-D]@
JAA has done @ex-[E-M]@ -
- Following the change made to test files; move all code (except @main@) into @namespace CoCoA@.
This should keep th... -
- Added example and test (actually they are the same).
Checked in. Closing!
-
- I have checked in the current version (whose ctor requires a string). Waiting for Anna to check it.
At the moment... -
- Anna, John and Renzo agree that cases (1) and (2) in comment 1 are OK, and that the others are best handled by constr...
-
- Here is the original situation where the problem arose. I Have some polynomials with complex coeffs (in @QQ[i]@) and...
-
- I don't like automatic choices: look at these examples...
-
- What precisely are the semantics? When can the function be called?
Various cases to consider:
# given @phi: R --> R@... -
- It might be nice to have a simple/convenient/compact way of extending "coefficient homomorphisms" to polynomial rings...
-
- No problems encountered over the last month -- closing!
-
- I computed @(1+x+y+z)^99@ using CoCoA and Singular on my machine. CoCoA took about 8s, singular took about 5s :-(
-
- Singular computes the length of the sum of two polynomials as part of the main result. We should do something simila...
-
- done: added IsOne(IDEAL)
-
- John Abbott wrote:
> * @if 1 isin I then ....@
> * @if IsOne(I) then ....@
the first already works. The second ... -
- Robbiano confirms that it is best to avoid the null ring (which has surprising properties such as @1 = 0@).
In thi... -
- JAA notes that now we're planning to move all test/example code into @namespace CoCoA@ the problem of ambiguity (in n...
-
- Modified C5 doc too.
21 Jun 2015
-
- JAA thinks it could occasionally be handy to have such functions available from inside CoCoA-5.
Martin gave little... -
- Martin Kreuzer says one of his students produced a C4 package for computing approximate values of transcendental func...
-
- The problem arose while doing some computations for Ulrich where it was known/expected that some ideals would be @ide...
-
- The quotient ring @R/I@ where @I=ideal(1)@ gives the trivial ring.
Currently the quotienting operation gives a spe...
16 Jun 2015
-
08:25 CoCoALib Feature #665: Integrate Janet/Pommaret basis code
- At the moment the UIBC uses only the standard algorithm to compute a Janet basis @TQBlockLow@. But it should be possi...
12 Jun 2015
-
- Now I have a (partly?) working CoCoALib ring which wraps my previous code.
11 Jun 2015
-
20:06 CoCoALib Feature #728: Noncommutative algebra "of solvable type"
- As I am sitting in a delayed train with too much time at hand, some further comments:
1.) The "book" by Levandovsk... -
- Going to a seminar here about G-bases in PBW algebras :-)
*NOTE* the seminar was OK. The student pointed out that (... -
- Yes, we should get the old @RingWeyl@ code working again -- my guess is that there is little to do.
We should find... -
- We have already done most of these considerations for RingWeyl (except for the coefficient rule).
.. and we also had... -
- Werner pointed out that a simplistic implementation is likely to be terribly slow (though perhaps "obviously correct"...
-
- done, checked in.
So far I modified only the files in AlgebraicCore -
- OK, do it! Including @monomial(P,expv)@.
Don't forget documentation, examples and tests!
-
- My preference (by far) goes to @monomial(P, pp)@
I have already implemented and all tests pass.
Should I also do @m... -
- I point out that assignment to @RingElem@ can perform some type changes. Should we allow assignment to a @RingElem@ ...
-
- I do agree that, without familiarity with the function, upon reading @monomial(P,1,pp)@ my first thought would be "Wh...
-
- I didn't know that @monomial(P, 1, pp)@ works as expected.
But I think for the _normal_ user who wants to use a @PP... -
- I am a little uncertain about the proposal. @monomial(P,pp)@ gains little over @monomial(P,1,pp)@.
Is it worth cr... -
- Should we do the same for @monomial(P, expv)@?
I cannot see any ambiguity.
*REPLY* (JAA) if we have @monomial(P,PP)@... -
- That seems very reasonable: I had a look at the code and, indeed, most of the times @monomial@ is called the coeffici...
-
- Let @pp@ be a @PPMonoidElem@ of the @PPMonoid@ @PPM@. Let @P@ be a @SparsePolyRing@ with @PPM@ as @PPMonoid@.
Severa... -
- JAA has implemented a first prototype (following the model @RingFpImpl@ and @SmallFpImpl@). The computational part u...
-
- Hans says that singular uses more or less the design we are considering; apparently in some cases they store two reso...
-
- One possibility might be to have a "module view" much like @MatrixView@, but I'm far from certain whether such a thin...
-
- > Since the C++ types of the input are different it seems simplest to have different classes for each case. Each cla...
-
- mostly done (with some more cleaning and testing to do)
-
- Luis Garcia wrote a package for CoCoA-4. Port it to CoCoA-5.
-
-
- First prototype
-
- In the following I try to explain how I integrated the JBMill/PBMill into @SparsePolyRing::IdealImpl@:
h3. UIBC
... -
- Implement Primary Decomposition in CoCoA-5
10 Jun 2015
-
- For starters Ore algebra as a simple case of polynomial algebras of solvable type should be enough. Their main advant...
-
- I made a slight mistake in the original description. It should have been:
* @x[i]*x[j] = q*x[j]*x[i] + tail@ where @... -
- John Abbott wrote:
> In the specific example of this issue there are 36 indets (all used), 15 polynomials, and @dim(... -
- > *REPLY (JAA)* I think what confused me was that in the CoCoA-5 output window the cursor was at the end of the outpu...
-
- Mario and I have discussed some possible designs; neither of us has much experience with resolutions, so it is possib...
-
- Mario suggested that the internal representation should be @vector< map<degree, long> >@.
The resolution is a list... -
- I suppose Mario ought to write about this. He has followed my design suggestion, and seems to be happy with it. If ...
-
- Mario asked about gathering stats for his involutive basis code.
I suggested using a @struct@ to keep all the stats ... -
- There is already some implementation for gathering stats in G-basis computation.
Review it!
Perhaps separate st...
08 Jun 2015
-
- Sounds like a generalisation of RingWeyl.
... Werner, are you willing to test it out? ;-)
I was thinking of porti... -
- Werner asked about the possibility of having non-commutative algebras of solvable type. They are nice enough that Bu...
-
- Mario points out that for a non-graded case we will also need a datastructure.
*UPDATE* (20150608) Mario thinks it is... -
- Design a good data structure for storing Betti numbers (also for multigraded case).
-
- John Abbott wrote:
> I recently tried using @C-c C-p@ and found it unhelpful; so I "stupidly" tried it a second time,... -
- Mario asked about the possible run-time cost of calling @CheckForInterrupt@.
Currently it may be needlessly expensiv...
07 Jun 2015
-
- In the specific example of this issue there are 36 indets (all used), 15 polynomials, and @dim(P/I)@ gives 21. Isn't...
06 Jun 2015
-
- I recently tried using @C-c C-p@ and found it unhelpful; so I "stupidly" tried it a second time, and found that it wa...
-
- The emacs command @C-c C-f@ send a @source@ command to CoCoA-5, so CoCoA-5 reads the file on disk which may not be th...
-
- For completeness here is the list of generators in @QQ[x[1..6,1..6]]@ ...
-
- Anna, you are right (in principle). In practice, I think almost the whole time is spent computing a G-basis (rather ...
-
- Instead of checking equality you should just check whether g_j is in the ideal generated by the others. However, thi...
-
- It has finally finished:...
-
- Progress......
-
- Re-running the program (over @QQ@) I get the following output (still incomplete):...
-
- This is probably not important, but I wanted to record this example which seems to be unexpectedly slow -- it might b...
-
- I think a "global variable" is a reasonable design for this task.
There is a "philosophical" question: is a qualif... -
- I would like to have a user controllable "verbosity level" in a package. How should this be done?
I had thought o...
02 Jun 2015
-
- It is not quite as easy as I had hoped. Every so often zero polynomials pop up in awkward places (_e.g._ to be facto...
-
- I have disabled the zero-dimensionality check if the coeff ring is a finite field.
In one simple test that seems t... -
- Is it just enough to skip the check for zero-dimensionality in this case?
(if so, that's a really simple fix)
-
- I ran the example given in issue #723 which tries to compute all rational solutions over a finite field of a homogene...
-
- Yes and no. I thought the topic had come up recently, but did not find it on redmine.
Perhaps the manual page for @... -
- Is this what you want? (From the manual ;-)...
-
- The existing function @indets("s")@ almost does what I want except that the result is a list rather than an @INTMAP@....
-
- Here is an example I want to run (NB it is very slow)...
-
- I would like to be able to refer to multi-index indets in a poly ring using their multiple indices... where the ring ...
-
13:19 CoCoA-5 Feature #719: Readline: consider creating a textual interpreter with readline
- A commandline option to disable readline is probably a good idea. It is the most flexible.
You can then also add some... -
- I have just read some documentation for @readline@ and also looked online. We're not the first people to have proble...
-
- Clearly, I was too hasty with my hack to add @readline@ :-(
I know @READLINE@ appears twice at the start -- don't ... -
- And it also works fine for me. Is it also possible to include a tab-completion? :)
Only problem is that the tests of... -
- My first try was not successfull. Durign the configure I got...
Also available in: Atom