[fricas-devel] Why are inflexible data structure lengths not always encoded in the type?

2020-10-29 Thread Neven Sajko
Hello, While I am slowly learning Fricas, I noticed a pattern (or the lack of it) that struck me as odd. Namely, some data structure types of fixed size have constructors which take a parameter to define the size as part of the type (e.g., SquareMatrix), while others (like Vector) do not take a

Re: [fricas-devel] Why are inflexible data structure lengths not always encoded in the type?

2020-10-29 Thread Bill Page
Checkout the DirectProduct domain. Granted, this name might not be so obvious. In a computer algebra system like FriCAS the name "Vector" should probably be reserved for something with specific mathematical properties. e.g. as in differential geometry. But I think that there are some good

Re: [fricas-devel] FriCAS and TeXmacs update

2020-10-29 Thread Ralf Hemmecke
> BTW, I also find the "draw commands" not very flexible. It would be easy to > slightly modify the draw and view2/3.spad files (as I did 4y ago according > github;) in order to use one of the plot packages mentioned, but then you're > sticked to those few methods/parameters. IMO a free format

Re: [fricas-devel] FriCAS and TeXmacs update

2020-10-29 Thread Bill Page
Thanks for taking the bait! :-) On Thu, Oct 29, 2020 at 12:11 PM Kurt Pagani wrote: > ... > https://fricas.github.io/api/GnuDraw.html?highlight=gnudraw > > It seems to be the only method at the moment (besides the built-in "draw") > that can reliably produce graphics using fricas data. It is

Re: [fricas-devel] FriCAS and TeXmacs update

2020-10-29 Thread Ralf Hemmecke
> My favourite still is GLE (BSD, c code, only QGLE is LGPL). Provides really HQ > (eps,pdf,...), or LaTeX/PGF/TikZ (GeoGebra, for instance, can export PGF). > > https://kfp.bitbucket.io/tmp/GLE.html Wow! That looks impressive. Kurt, I want that. Obviously you seem to have connected the FriCAS