Re: [fricas-devel] fricas: trigonometric simplification.

2017-02-20 Thread oldk1331
FriCAS can be loaded like this: https://github.com/fricas/fricas/blob/master/contrib/load-fricas.lisp On Tue, Feb 21, 2017 at 8:39 AM, Richard Fateman wrote: > Hi all -- > Since FriCAS can run in (for example) SBCL, and Maxima can be > loaded in to SBCL, (running in the Common Lisp :Maxima pac

Re: [fricas-devel] fricas: trigonometric simplification.

2017-02-20 Thread oldk1331
On Tue, Feb 21, 2017 at 9:39 AM, Bill Page wrote: >> Yes, and vice versa, FriCAS can call Maxima routines (e.g. better >> numeric integration). >> > > -1 > > I am rather strongly against this suggestion. Interoperability of > these programs is already provided by systems like Sage. It seems to > m

Re: [fricas-devel] fricas: trigonometric simplification.

2017-02-20 Thread Bill Page
Richard Fateman wrote: >> Since FriCAS can run in (for example) SBCL, and Maxima can be >> loaded in to SBCL, (running in the Common Lisp :Maxima package), >> why not have them co-exist? A FriCAS type/category/domain could be >> Maxima-Expression. > ... >> Alternatively, one could perhaps use

Re: [fricas-devel] fricas: trigonometric simplification.

2017-02-20 Thread oldk1331
On Tue, Feb 21, 2017 at 8:39 AM, Richard Fateman wrote: > Hi all -- > Since FriCAS can run in (for example) SBCL, and Maxima can be > loaded in to SBCL, (running in the Common Lisp :Maxima package), > why not have them co-exist? A FriCAS type/category/domain could be > Maxima-Expression. I be

Re: [fricas-devel] fricas: trigonometric simplification.

2017-02-20 Thread Richard Fateman
Hi all -- Since FriCAS can run in (for example) SBCL, and Maxima can be loaded in to SBCL, (running in the Common Lisp :Maxima package), why not have them co-exist? A FriCAS type/category/domain could be Maxima-Expression. (It would perhaps make sense to have Maxima-Canonical-Rational-Expressi

Re: [fricas-devel] [PATCH] fix ")show" for categories

2017-02-20 Thread oldk1331
Is it OK to commit this patch? > Have you compared current code with HyperDoc? HyperDoc can only handle fully specified type (not type constructor), eg. FRAC INT is OK while FRAC isn't. Correct? -- You received this message because you are subscribed to the Google Groups "FriCAS - computer al

[fricas-devel] Todd-Coexeter

2017-02-20 Thread Waldek Hebisch
I have put at: http://www.math.uni.wroc.pl/~hebisch/fricas/gpresent.spad a new version of Todd-Coxeter (together with small changes to group presentations). Actually, the change is quite small: we allow enumeration on cosets of a subgroup. With such change we can now build permutation representa

Re: [fricas-devel] print type parameter of a package/domain at runtime

2017-02-20 Thread oldk1331
On Mon, Feb 20, 2017 at 9:45 PM, Waldek Hebisch wrote: > I am also using helper packages in similar situation. > However: > - to get S-expression corresponding to type use 'devaluate' > - there is coercion of types to OutputForm, use it instead > of 'form2String' (using 'form2String' directly le

Re: [fricas-devel] print type parameter of a package/domain at runtime

2017-02-20 Thread Waldek Hebisch
oldk1331 wrote: > > Is there a way to know the type parameter of a > certain package/domain that got used at runtime? > > For example, a function "f" calls "g" from PKG1(T1), > is there a way to know about T1? > > I think ")set message bottom on" and ")trace" can't > do this. > > I developed a

[fricas-devel] print type parameter of a package/domain at runtime

2017-02-20 Thread oldk1331
Is there a way to know the type parameter of a certain package/domain that got used at runtime? For example, a function "f" calls "g" from PKG1(T1), is there a way to know about T1? I think ")set message bottom on" and ")trace" can't do this. I developed a hack to do this, but I want to know if