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
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
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
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
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
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
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
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
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
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
10 matches
Mail list logo