On Sunday, January 29, 2017 at 2:38:37 PM UTC, Martin Baker wrote:
>
> On 01/29/2017 01:41 PM, Dima Pasechnik wrote:
> > Well, e.g. Todd-Coxeter is pretty much domain-specific; one could also
> > choose to interface a stand-alone coset enumeration routine
> > like ACE (see http://staff.itee.uq
Waldek,
This is great, thank you for this.
I have a patch here to add to this code:
https://github.com/martinbaker/fricasAlgTop/blob/master/gpresent7.patch
or full code is here:
https://github.com/martinbaker/fricasAlgTop/blob/master/gpresent.spad
The patch does the following:
1) I have taken
> >> On output 'box' is invisible but
> >
> > Indeed, but tex or html output uses parens ... so I'm wondering why not
> in
> > algebraic mode?
> >
>
> ?? I do not see any parenthesis printed for 'box' in either algebraic
> or tex output
>
> (1) -> )set output tex on
> (1) -> box(x)
>
On 30 January 2017 at 12:18, Kurt Pagani wrote:
> Look:
>
> rs:=rule cos(x)*sin(y)-sin(x)*cos(y) == sin(y-x)
> rc:=rule cos(x)*cos(y)-sin(x)*sin(y) == cos(x+y)
>
> t1 := paren(cos(x)*sin(y)-sin(x)*cos(y))
> t2 := paren(cos(x)*cos(y)-sin(x)*sin(y))
> expr := t1*cos(x3) + 5 + tan(q)*tan(w) + t2*w*
Look:
rs:=rule cos(x)*sin(y)-sin(x)*cos(y) == sin(y-x)
rc:=rule cos(x)*cos(y)-sin(x)*sin(y) == cos(x+y)
t1 := paren(cos(x)*sin(y)-sin(x)*cos(y))
t2 := paren(cos(x)*cos(y)-sin(x)*sin(y))
expr := t1*cos(x3) + 5 + tan(q)*tan(w) + t2*w*cos(a)+ t1*t2*r3
rc rs expr -- voilà ;-)
more below ...
On M
I have now commited improved version of Todd-Coxeter. It now
handles coincidencies and is much faster than previus version.
Scaling is not great, but much better than before: I was able
to do enumeration for Mathieu 11 (using second presentation from
Canon et all paper) in 211 seconds.
Currently
Why do you find it interesting? 'box' and 'paren' are just kernels
with no automatic simplifications. On output 'box' is invisible but
'paren' displays as parenthesis. As with all kernels in Expression the
arguments of the kernel are themselves members of Expression
(recursively). This seems to be
