fricas (experimental package) ?

95 views
Skip to first unread message

Dima Pasechnik

unread,
Mar 12, 2015, 9:18:03 AM3/12/15
to sage-...@googlegroups.com
Can we get fricas 1.2.4 (cf http://trac.sagemath.org/ticket/9465)
installed into the default Sage @cloud?

Thanks,
Dima

William Stein

unread,
Mar 13, 2015, 10:03:39 AM3/13/15
to sage-cloud
On Thu, Mar 12, 2015 at 6:17 AM, Dima Pasechnik <dim...@gmail.com> wrote:
> Can we get fricas 1.2.4 (cf http://trac.sagemath.org/ticket/9465)
> installed into the default Sage @cloud?
>

I definitely want to install Fricas into SMC. A pointer to straightforward
instructions I can follow would help this.

William

> Thanks,
> Dima
>
> --
> You received this message because you are subscribed to the Google Groups "sage-cloud" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-cloud+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-cloud/slrnmg34fs.mp6.dimpase%40clpc171.cs.ox.ac.uk.
> For more options, visit https://groups.google.com/d/optout.



--
William Stein
Founder/CEO of SageMath, Inc. (http://sagemath.com)
Professor of Mathematics, University of Washington
206-419-0925

Dima Pasechnik

unread,
Mar 13, 2015, 10:43:23 AM3/13/15
to sage-...@googlegroups.com


On Friday, 13 March 2015 14:03:39 UTC, William Stein wrote:
On Thu, Mar 12, 2015 at 6:17 AM, Dima Pasechnik <dim...@gmail.com> wrote:
> Can we get fricas 1.2.4 (cf http://trac.sagemath.org/ticket/9465)
> installed into the default Sage @cloud?
>

I definitely want to install Fricas into SMC.  A pointer to straightforward
instructions I can follow would help this.

Did you try
 
sage -i fricas


 

William Stein

unread,
Mar 13, 2015, 10:44:24 AM3/13/15
to sage-cloud
On Fri, Mar 13, 2015 at 7:43 AM, Dima Pasechnik <dim...@gmail.com> wrote:
>
>
> On Friday, 13 March 2015 14:03:39 UTC, William Stein wrote:
>>
>> On Thu, Mar 12, 2015 at 6:17 AM, Dima Pasechnik <dim...@gmail.com> wrote:
>> > Can we get fricas 1.2.4 (cf http://trac.sagemath.org/ticket/9465)
>> > installed into the default Sage @cloud?
>> >
>>
>> I definitely want to install Fricas into SMC. A pointer to
>> straightforward
>> instructions I can follow would help this.
>>
> Did you try
>
> sage -i fricas

I haven't tried anything yet. Is that what you recommend doing? If
so, i'll give it a go.

William

>
>
>
>>
>> William
>>
>> > Thanks,
>> > Dima
>> >
>> > --
>> > You received this message because you are subscribed to the Google
>> > Groups "sage-cloud" group.
>> > To unsubscribe from this group and stop receiving emails from it, send
>> > an email to sage-cloud+...@googlegroups.com.
>> > To view this discussion on the web visit
>> > https://groups.google.com/d/msgid/sage-cloud/slrnmg34fs.mp6.dimpase%40clpc171.cs.ox.ac.uk.
>> > For more options, visit https://groups.google.com/d/optout.
>>
>>
>>
>> --
>> William Stein
>> Founder/CEO of SageMath, Inc. (http://sagemath.com)
>> Professor of Mathematics, University of Washington
>> 206-419-0925
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-cloud" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-cloud+...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-cloud/b446100d-0f55-4ba9-9f19-dedb0b220ff2%40googlegroups.com.

Dima Pasechnik

unread,
Mar 13, 2015, 10:54:20 AM3/13/15
to sage-...@googlegroups.com


On Friday, 13 March 2015 14:44:24 UTC, William Stein wrote:
On Fri, Mar 13, 2015 at 7:43 AM, Dima Pasechnik <dim...@gmail.com> wrote:
>
>
> On Friday, 13 March 2015 14:03:39 UTC, William Stein wrote:
>>
>> On Thu, Mar 12, 2015 at 6:17 AM, Dima Pasechnik <dim...@gmail.com> wrote:
>> > Can we get fricas 1.2.4 (cf http://trac.sagemath.org/ticket/9465)
>> > installed into the default Sage @cloud?
>> >
>>
>> I definitely want to install Fricas into SMC.  A pointer to
>> straightforward
>> instructions I can follow would help this.
>>
> Did you try
>
> sage -i fricas

I haven't tried anything yet.  Is that what you recommend doing?  If
so, i'll give it a go.

Yes, this should work. I don't know any other way, in fact.

Dima Pasechnik

unread,
Mar 24, 2015, 9:28:00 AM3/24/15
to sage-...@googlegroups.com
Perhaps I wasn't clear enough:

Can we we have the Sage experimental package fricas installed into globally available on SMC Sage?
This should be as easy as running "sage -i fricas", at least on a "normal" Sage installation.

Dima

William Stein

unread,
Mar 25, 2015, 12:18:31 AM3/25/15
to sage-cloud
On Tue, Mar 24, 2015 at 6:28 AM, Dima Pasechnik <dim...@gmail.com> wrote:
> Perhaps I wasn't clear enough:
>
> Can we we have the Sage experimental package fricas installed into globally
> available on SMC Sage?
> This should be as easy as running "sage -i fricas", at least on a "normal"
> Sage installation.
>

Hi,

Fricas is now installed in Sage in all SageMathCloud projects via
"sage -i fricas".

-- William
> https://groups.google.com/d/msgid/sage-cloud/bacd5653-076e-489c-ac9c-caace7222fd1%40googlegroups.com.

Ralf Hemmecke

unread,
Mar 25, 2015, 5:33:45 AM3/25/15
to sage-...@googlegroups.com
> Fricas is now installed in Sage in all SageMathCloud projects via
> "sage -i fricas".

Fine. But it only gives version 1.2.4.

https://cloud.sagemath.com/projects/2b347771-02da-4d24-bfa8-a0d9d1ecb1df/files/demo-fricas.sagews

Can someone point me to the official code for the fricas(-aldor) spkg?

Ralf

Dima Pasechnik

unread,
Mar 25, 2015, 6:14:52 AM3/25/15
to sage-...@googlegroups.com

this is the official Sage fricas spkg.
 http://www.sagemath.org/packages/upstream/fricas/fricas-1.2.4.tar.bz2
 http://sagemath.org/packages/upstream/fricas/index.html

Please feel free to open a Sage ticket to upgrade it.
 

Ralf

Ralf Hemmecke

unread,
Mar 25, 2015, 6:38:01 AM3/25/15
to sage-...@googlegroups.com
> this is the official Sage fricas spkg.
> http://www.sagemath.org/packages/upstream/fricas/fricas-1.2.4.tar.bz2
> http://sagemath.org/packages/upstream/fricas/index.html
>
> Please feel free to open a Sage ticket to upgrade it.

Oh well. I was looking for the respective git repository. Aren't spkgs
or rather their build instructions not in some repository? Looks like I
should open my own on github?

Maybe that mail should rather go to sage-devel than to sage-cloud.

Ralf

Dima Pasechnik

unread,
Mar 25, 2015, 8:47:30 AM3/25/15
to sage-...@googlegroups.com
On 2015-03-25, Ralf Hemmecke <hemm...@gmail.com> wrote:
>> this is the official Sage fricas spkg.
>> http://www.sagemath.org/packages/upstream/fricas/fricas-1.2.4.tar.bz2
>> http://sagemath.org/packages/upstream/fricas/index.html
>>
>> Please feel free to open a Sage ticket to upgrade it.
>
> Oh well. I was looking for the respective git repository. Aren't spkgs
> or rather their build instructions not in some repository?
the scripts to build (new-style, FriCAS is one of these) packages are
a part of Sage distribution, and as such they are on github (for stable
releases, see https://github.com/sagemath/sage) and on Sage git trac server
for development versions
(see http://sagemath.org/doc/developer/index.html#git-for-sage-development)

the upstream tarballs are not in any git repo.
> Looks like I
> should open my own on github?

It's up to how how exactly you want to supply the upstream tarball.
Github is certainly a good idea, IMHO.
Ideally, Sage can use a release tarball of FriCAS, which you can host
on github, say.

>
> Maybe that mail should rather go to sage-devel than to sage-cloud.
Indeed. I cc there.

Dima

Bill Page

unread,
Mar 25, 2015, 11:27:19 AM3/25/15
to sage-...@googlegroups.com
William,

FriCAS has a command

)lib path/XXX

which allows user compiled library routines to be loaded. Is there
some way that I can use this in FriCAS running in a Sage worksheet on
SMC? Can I compile something using a compatible version of FriCAS in
a terminal session and then reference it directly in a %fricas section
of a worksheet?

Bill Page.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-cloud/CA%2BjwZMjDAG0rNCE3a8t5UtZhyThDOjEEfkZOgE-Hx5fU-ZfWqw%40mail.gmail.com.
Reply all
Reply to author
Forward
0 new messages