A pudding is not its ingredients

[Peter van Summeren]

Hello,

The proof of the pudding is not that it has many ingredients.

I want to use a CAS. First I used on my phone MaximaOnAndroid. It works fine and the formulas like sqrt(2+2sqrt(2)) come out like in TeX.

I downloaded Maxima on my Debian(8) computer. It also works fine, but is limited.

So, I read about Fricas.

First I tried Fricas for Windows10. I first had to download Cygwin. I got a big window and a very small console with letters I could not read. Also: Fricas did not work in that.

Removing Cygwin seems to be very difficult and I gave up.

Than I downloaded the binary for Fricas. Also, no good. After that I downloaded the source, took care of the prerequisite packages. Not all were available in my Debian 8 system. The ones that were available, I installed.

I got a Fricas with a console, with Hyperdoc. The graphics worked, also from the console. But the sqrt(2+sqrt(2)) is for me ugly on the console. MaximaOnAndroid is perfect.

I looked at the configure.log. I send it hereby but the first failure was:

=================start================

configure:4249: gcc -E  conftest.c
conftest.c:9:10: fatal error: ac_nonexistent.h: No such file or directory
 #include <ac_nonexistent.h>
          ^~~~~~~~~~~~~~~~~~
compilation terminated.
configure:4249: $? = 1
configure: failed program was:
| /* confdefs.h */
================end=================

How can this be? I have a good Debian8 system, 
I have the prerequisites. And I do not know enough were to look to 
improve the mistakes. I expect that it should work.
Also a very minor remark: when I study Fricas I read about Axiom. Is it
a miracle that I confuse those two?
I hope someone can help me with a working solution.
And my last remark: that is because Fricas seems to give me new 
ways. But as I started with: the proof of the pudding are not its ingredients. 
with friendly greetings,
Peter

[Waldek Hebisch]

Peter van Summeren wrote:
>
> The proof of the pudding is not that it has many ingredients.
> I want to use a CAS. First I used on my phone MaximaOnAndroid. It works
> fine and the formulas like sqrt(2+2sqrt(2)) come out like in TeX.
> I downloaded Maxima on my Debian(8) computer. It also works fine, but is
> limited.
> So, I read about Fricas.
> First I tried Fricas for Windows10. I first had to download Cygwin. I got a
> big window and a very small console with letters I could not read. Also:
> Fricas did not work in that.

Sorry for that. Unfortunately, due to changes in Cygwin old build
instructions no longer work. There are different ways of building
that do work, but instructions are not in official places (in
particular it is not clear what is best/simplest way of building)...

> Removing Cygwin seems to be very difficult and I gave up.
> Than I downloaded the binary for Fricas. Also, no good.

Care to say what the problem was?

> After that I
> downloaded the source, took care of the prerequisite packages. Not all were
> available in my Debian 8 system. The ones that were available, I installed.
> I got a Fricas with a console, with Hyperdoc. The graphics worked, also
> from the console. But the sqrt(2+sqrt(2)) is for me ugly on the console.

Have you tried 'efricas'? If you have prerequisities (TeX and friends)
it should give you nicely typeset formulas.

> MaximaOnAndroid is perfect.
> I looked at the configure.log. I send it hereby but the first failure was:
> =================start================
>

> configure:4249: gcc -E conftest.cconftest.c:9:10: fatal error: ac_nonexistent.h: No such file or directory
> #include <ac_nonexistent.h>
> ^~~~~~~~~~~~~~~~~~compilation terminated.configure:4249: $? = 1configure: failed program was:| /* confdefs.h */

> ================end=================
>
> How can this be? I have a good Debian8 system,
> I have the prerequisites.

This is really not error. More precisely, configure script deliberatly
triggers errors in compilation to learn about features of your system.
The 'ac_nonexistent.h' should be a giveaway: this file does not exist
and compiler (gcc) is supposed to detect that. On your system gcc
correctly reports that the file does not exist.

--
Waldek Hebisch

[Peter van Summeren]

Hello Waldek Hebisch,

thanks for this remark over the config.log. I had no idea.

I first want to have efricas working together with some TeX.

I have several TeX's: auctec(packet), TeXStudio, TeXworks, TexMaker.

I do not know how to let any TeX working together with emacs.

Of course I searched for all kind op packets which suited emacs. I found a maxima packet for emacs. Although I installed all, I have no idea how to connect with emacs. I am not an expert on this and do not know anyone who uses emacs.

At this moment I do not have any printer connected with this Debian 8. I send printed files to my Brother connected with windows.

Efricas works but like a console. What to do?

With friendly greetings,

Peter

[Peter van Summeren]

Hello

I did )set output tex on

It worked with integrate(cos(sqrt y)^3*y,y) to a tex output as file and as graphic in the console.

But I want to manipulate part of this graphic output as input for a next command. It is possible in Maxima by copy. Is it possible in Fricas? And I want to get rid of this ugly console output. How can I do that?

with friendly greetings,

Peter

On Friday, June 7, 2019 at 8:54:34 AM UTC+2, Peter van Summeren wrote:

[Waldek Hebisch]

Peter van Summeren wrote:
>
> Hello
> I did )set output tex on
> It worked with integrate(cos(sqrt y)^3*y,y) to a tex output as file and as
> graphic in the console.
> But I want to manipulate part of this graphic output as input for a next
> command. It is possible in Maxima by copy. Is it possible in Fricas?

You mean manipulate at graphic level? No.

> And I
> want to get rid of this ugly console output. How can I do that?

)set output algebra off

--
Waldek Hebisch

[Ralf Hemmecke]

> I did )set output tex on
> It worked with integrate(cos(sqrt y)^3*y,y) to a tex output as file and as
> graphic in the console.
> But I want to manipulate part of this graphic output as input for a next
> command. It is possible in Maxima by copy. Is it possible in Fricas? And I
> want to get rid of this ugly console output. How can I do that?

Any reason why you insist so much on visual beauty? Isn't it more
important that the result is correct?

Since neither the algebra output nor the tex output can be pasted back
into FriCAS, I've written an output version ("linear" which is not in
FriCAS), that is aimed at exactly that: "cut&paste". But as the name
suggests, it's one-dimensional and thus rather ugly output.

Ralf