Re: [fricas-devel] Re: Todd-Coxeter

ATM there is hardcoded limit in the 'toPermutationIfCan'. > After increasing it (to say 1000) I get: > > (19) -> mennicke(4) >finished using 449875 > >(19) 36864 > Type: > PositiveInteger >

[fricas-devel] Re: Todd-Coxeter

Great. With regard to a next release I took a quick glance at the Schreier-Sims algorithm: http://www.maths.usyd.edu.au/u/murray/research/essay.pdf (pages 25,30,34) of which I thought it's less memory greedy. On page 35 there's described a Todd-Coxeter Schreier-Sims algorithm which

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

I pulled (fresh clone) from https://github.com/martinbaker/fricasAlgTop but forgot to update permgrp :( Sorry! On Tuesday, 31 January 2017 19:55:54 UTC+1, Martin Baker wrote: > > On 01/31/2017 06:33 PM, Waldek Hebisch wrote: > > Kurt Pagani wrote: > >> > >&g

Re: [fricas-devel] Symbolic (unevaluated) Expressions

> A simple computation using patterns in trigonometric symbolic > expressions as discussed on another recent email chain on this list is > shown in > > http://axiom-wiki.newsynthesis.org/SandBoxSymbolicTrig >

Re: [fricas-devel] Symbolic (unevaluated) Expressions

> > ASSS is the abbreviation for Associative* not Associative+. > > Of course, shame :-[ Now that I know the meaning of "_" I'm wondering where "_rule" is defined ? On Saturday, 4 February 2017 23:40:37 UTC+1, Waldek Hebisch wrote: -- With underscore it is normal function name, and calls

Re: [fricas-devel] Symbolic (unevaluated) Expressions

if D2 has SETCAT and D3 has Join(RING,PATMAB(D2),COMPAR, KONVERT(PATTERN(D2))) and D1 has Join(FS(D3),PATMAB(D2), KONVERT(PATTERN(D2))) Thanks again. On Saturday, 4 February 2017 23:59:18 UTC+1, Waldek Hebisch wrote: > > Kurt Pagani wrote: > > No

[fricas-devel] Re: FriCAS wikipedia page

On Sunday, 5 February 2017 08:55:42 UTC+1, oldk1331 wrote: > > It's recently created, don't know who created it, but > it's nice to have a dedicated wikipedia page for FriCAS. > > https://en.wikipedia.org/wiki/FriCAS > I took the liberty on a whim because several people asked me why there is

[fricas-devel] Re: Simplification in FriCAS

> As you see second variant resolved dependence between 'exp(2*x)', > but the first one left it in place. In am thinking how we could > nicely make 'normalize' available for more types. One possible > trick is to run 'map' twice, first time for side effects to collect > list of elements,

Re: [fricas-devel] Re: FriCAS wikipedia page

On Monday, 6 February 2017 04:07:55 UTC+1, oldk1331 wrote: > > So Kurt, I think you can include parts from src/doc/htex/ug*, > because BSD is compatible with wikipedia (which is CC)? > Did you talked with the guy who removed your passages, > Diannaa? > > Yep. See

Re: [fricas-devel] Symbolic (unevaluated) Expressions

Awesome! You really put much effort in it. Although I can't overlook the details yet (very elaborate;) I clearly see the potential applications. I've some use cases which I want to try asap. What I've noticed so far is an oddity with "/" division (see output below 3,4). Then SYMB especially

Re: [fricas-devel] [BUG?] auto-simplification of atan

"Cache", that's what I was presuming in the first place as well, so I naively "grepped" for the catchword in the sources. Do you have a clue where it's implemented (interp?) and whether there is any run-time control over it? It seems that a change of a variable name already has a influence. On 2

Re: [fricas-devel] Re: FriCAS status

> It seems that you abuse the testing framwork. I confess. Nevertheless test_dg1 is a first step to self-improvement. The other two were started long ago, but rewriting them is in the pipeline. > Namely, testing > framework is supposed to show you failning test. With your > appreach the report

Re: [fricas-devel] installed autoload directory is empty?

Hi Ralf I didn't notice this yet. Building a new kernel by re-running install.sh might fix it. However, I suggest carefully checking the dependencies first, especially whether libzmq.so.4 is present. If you're using Ubuntu/xenial then the script mentioned at the end of the

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

Am 26.01.2017 um 12:14 schrieb Constantine Frangos: > > %I was not aware of this behaviour. However, I believe that fricas should not > %automatically expand expressions that the user inputs. If this can be > %modified then it would be very helpful. > %Note that another public domain CAS called

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

> >> On output 'box' is invisible but > > > > Indeed, but tex or html output uses parens ... so I'm wondering why not > in > > algebraic mode? > > > > ?? I do not see any parenthesis printed for 'box' in either algebraic > or tex output > > (1) -> )set output tex on > (1) -> box(x) >

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

on symbolic expressions then I'll fully agree. > On 29 January 2017 at 22:37, Kurt Pagani <nil...@gmail.com > > wrote: > > I wasn't aware of "box" or "paren" in EXPR INT. That's really > interesting. > > Apparently "distribute" reliably

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

Certainly, GAP helps in checking correctness of your implementations, in > case you want to do everything from scratch. > > > On Friday, January 27, 2017 at 4:43:04 PM UTC, Martin Baker wrote: >> >> On 01/26/2017 09:04 PM, Kurt Pagani wrote: >> > Hi Martin >> &

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

I wasn't aware of "box" or "paren" in EXPR INT. That's really interesting. Apparently "distribute" reliably works as advertised: distribute(f) e*xpands all the kernels in f that are formally enclosed by a box or paren

Re: [fricas-devel] Re: FriCAS status

Great, thank you. Change/extend as much as you like, I'd be really grateful if you could have a closer look at it. Kurt On Monday, 30 January 2017 04:07:41 UTC+1, oldk1331 wrote: > > Hello Kurt, I'm also interested in differential forms and differential > geometry, > and I looked into

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

Type: Expression(Integer) Then you can apply rules/formulas which transform the tan(*/2) functions to any (valid) expression you like. It's not trivial but feasible if you exactly know how to specify the final form. > > > Thanks very much. >

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

Hi Martin I've also tried your code and must confirm Waldek's statements. I guess there are some pitfalls which are known for some time. Did you read "Implementation and Analysis of the Todd-Coxeter Algorithm" by Cannon et al.? Old but still beneficial.

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

Usually, this kind of task is not a CAS' strength because simplification mostly relies on a normal form/representation. Even with rewrite rules I cannot see a general pattern. However, waht you can do is sketched below, namely using equations, rules and substitutions. Admittedly, it's more the

[fricas-devel] Re: Debian package

Constanitne Frangos asked in a previous post: (2) Is there a debian package for fricas that can be conveniently installed with the synaptic package manager in ubuntu based linux? AFAIK there isn't one at the moment, right? In case there is some interest I'd suggest using "fpm"

Re: [fricas-devel] Symbolic (unevaluated) Expressions

the changes necessary to make this all build from > source. This forced a few name changes (avoiding * + and /\ in > constructor names). > > On 12 February 2017 at 13:05, Kurt Pagani <nil...@gmail.com > > wrote: > > Thank you, works fine! > > One (unrela

[fricas-devel] Re: Dancing Samba with Ramanujan Partition Congruences

Hi Ralf On Thursday, 23 February 2017 17:11:16 UTC+1, Ralf Hemmecke wrote: > > I just got notified that my article in the Journal of Symbolic > Computation appeared online. > > http://dx.doi.org/10.1016/j.jsc.2017.02.001 > > This is an article where I mention FriCAS. In fact, FriCAS helped me

Re: [fricas-devel] Announce: FriCAS 1.3.1 has been released

On Saturday, 18 February 2017 20:15:31 UTC+1, Waldek Hebisch wrote: > > Kurt Pagani wrote: > > > > While I also get a lot of errors mostly caused by string::OutputForm > there > > is one I have no clue how to resolve (see below). > > Although it is clear wh

Re: [fricas-devel] Announce: FriCAS 1.3.1 has been released

While I also get a lot of errors mostly caused by string::OutputForm there is one I have no clue how to resolve (see below). Although it is clear what is meant by the message I have no clue yet how to fix it. Was there a change related to this between 1.3.0 and 1.3.1? Function: -? : % -> % is

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

About a year ago I did just what RJF is suggesting by using* embeddable Maxima *(https://github.com/nilqed/embeddable-maxima) via QuickLisp and a simple interface (https://github.com/nilqed/fricas_input/tree/master/spad/maxima) inspired by RJF's Mockmma (actually I reused a lot of code from

Re: [fricas-devel] Symbolic (unevaluated) Expressions

intended to be used with > FriCAS. > > I also need to take stock of where this is at so far and more clearly > define where it should go. As usual I would be very happy to receive > suggestions and questions. > > Thanks. > > Bill Page. > > On 10 February

Re: [fricas-devel] Symbolic (unevaluated) Expressions

Bill, I pulled the latest version of sexpr.spad today and now get an error I have no explanation for (I created a unit test file using the input from the sandbox). Four of the seven errors (see tail of sexpr.output) are not errors as such, only caused by the ordering. case ex2:20 and 21 might

Re: [fricas-devel] Symbolic (unevaluated) Expressions

informatik.uni-bremen.de/agbkb/lehre/rbs/texte/Klop-TR.pdf https://www.cs.cornell.edu/~ara/papers/vh05tocl.pdf But my knowledge on the subject beyond Knuth-Bendixon, Buchberger etc. is rather limited. Please let me know when it's forged ahead. Kurt > Bill. > > > On 9 F

Re: [fricas-devel] Symbolic (unevaluated) Expressions

Am 10.02.2017 um 16:38 schrieb Bill Page: > Oh and BTW, thanks very much for setting up a sensible testsuite. :) I have to learn the correct usage of Unittest anyway ;) > With your permission I would like to add it to the development branch. > If you have time I would be happy for a pull request

Re: [fricas-devel] Re: Debian package

> In this regard I wanted to ask the following: > > (1) If I use the command line > > apt update > apt upgrade > > will the system proceed on its own to download possibly > hundreds of megabytes (or even gigabytes) of upgraded > packages without asking me first? > Not at all. Look at the

Re: [fricas-devel] Re: Debian package

equire' > from extconf.rb:1:in `' > > > Gem files will remain installed in /var/lib/gems/1.9.1/gems/json-1.8.6 for > inspection. > Results logged to > /var/lib/gems/1.9.1/gems/json-1.8.6/ext/json/ext/generator/gem_make.out > > > > - Original Message

Re: [fricas-devel] Re: Debian package

easy to install, I mean it makes no sense to download a *.deb file from a website. IMO it will make sense only if Fricas can be installed by "sudo apt install fricas" (including removal/update). Let's think about it (how, who and when?) > > Regards, > Constantine. > Best

Fwd: Re: [fricas-devel] jupyter notebook

Correction of correction: the encoding of link in the former post was also wrong, it should read as: http://localhost:4343/eval?code=integrate(sin(x),x) returns the result: - cos(x) Type: Union(Expression(Integer),...) -- The easy-handler is /eval

Re: [fricas-devel] jupyter notebook

Correction: the encoding of link in the former post was wrong, it should be: http://localhost:4343?eval=integrate(sin(x),x) returns the result: - cos(x) Type: Union(Expression(Integer),...) -- The easy-handler is /eval and ?code is the parameter. --

Re: [fricas-devel] jupyter notebook

Am 02.10.2016 um 22:57 schrieb Waldek Hebisch: > Current FriCAS connection scheme is a mess. Core of this mess is > that standard Lisp IO have no concept of socket and that original You were completely right: it's a mess! Now, when figured out, I conceive the meaning of the "sockets" /tmp/.x

Re: [fricas-devel] fricas_w32 : Hope for Windows 10 Users

Am 04.10.2016 um 15:03 schrieb oldk1331: >> I've been thinking of it frequently. From time to time I try to compile it >> using >> Mingw64 (x86_64 Msys) or even Cygwin64 (x86_64 Cygwin). > > How did that go? Not successful? > No, not successful at all. It begins with missing build type

Re: [fricas-devel] jupyter notebook

Thank you for the explanations. On 5 October 2016 at 19:17, Waldek Hebisch wrote: > > > > I think that such changes should be easy, but I do > not know what you need/want. > > I probably don't know myself (yet). But seriously, the goal is to have a connection to the

Re: Re: [fricas-devel] jupyter notebook

May I ask what's the state of OpenMath? (1) -> OMserve(9000, 10)$OpenMathServerPackage >> System error: The function BOOT::OM-MAKECONN is undefined. Where are all the Lisp functions referred to in omdev.spad , omserver.spad etc.? A "grep" in the algebra folder doesn't show anything

[fricas-devel] Function: -: % -> % is missing from domain: NonNegativeInteger

Today I've compiled svn rev. 2122. Afterwards, while compiling and testing some old code, I got the following (runtime) error several times: Function: -? : % -> % is missing from domain: NonNegativeInteger Internal Error The function - with signature $$ is missing from domain

Re: [fricas-devel] Algebraic Topology Issue 1

Hello Martin As promised (before vacation) below two examples which I'm unable to interpret (otherwise I recognized that you've improved your code and that it's now included in fricas -- great :). A lot more examples work now (i.e same results as Kenzo). BTW: why didn't you allow '0'?

Re: [fricas-devel] Algebraic Topology Issue 1

> Well since these values are potentially being used as indexes into > VertexSet and since the usual FriCAS default is 1-based indexing I used > that. > I see. I guess you're already thinking of geometric realizations (list of vectors?). But what if you remove a vertex or whole parts of the

Re: [fricas-devel] Function: -: % -> % is missing from domain: NonNegativeInteger

Am 17.09.2016 um 18:48 schrieb Ralf Hemmecke: > On 09/17/2016 02:54 AM, Kurt Pagani wrote: >> Today I've compiled svn rev. 2122. Afterwards, while compiling and >> testing some old code, I got the following (runtime) error several times: >> >> Function: -? : %

Re: [fricas-devel] Function: -: % -> % is missing from domain: NonNegativeInteger

Am 17.09.2016 um 19:24 schrieb Ralf Hemmecke: > On 09/17/2016 07:13 PM, Kurt Pagani wrote: >>>> Function: -? : % -> % is missing from domain: NonNegativeInteger >>>>Internal Error >>>>The function - with signature $$ is missing

Re: [fricas-devel] Function: -: % -> % is missing from domain: NonNegativeInteger

Am 17.09.2016 um 03:16 schrieb Waldek Hebisch: > Kurt Pagani wrote: >> >> Today I've compiled svn rev. 2122. Afterwards, while compiling and >> testing some old code, I got the following (runtime) error several times: >> >> Function: -? : % -> % is mis

Re: [fricas-devel] Algebraic Topology Issue 1

Martin, after a look into your code I think there was a deep misunderstanding - my fault :( Kenzo indeed works slightly different, so I tacitly assumed one needs the full base of the triangulation w.r.t the bdry homomorphism. Your method instead requires properly oriented input. Now I also

Re: [fricas-devel] Fwd: Shutter :: ltx2sxl

Am 28.09.2016 um 15:21 schrieb oldk1331: >> Oh, apparently I've misdirected that mail. > > :) I thought you want to integrate this with FriCAS, to have image > result of LaTeX output in terminal ... Good point, thereby providing justification to be not off-topic in this forum :) Well, actually

Re: [fricas-devel] Fwd: Shutter :: ltx2sxl

Am 29.09.2016 um 02:05 schrieb oldk1331: > I still can't make xterm work, I configured .Xresources and xrdb it. > But mlterm works well. Strange, indeed; the only reason I can think of is that your xterm was not built with --enable-sixel-graphics (configure). Either it's very old or your distro

Re: [fricas-devel] Fwd: Shutter :: ltx2sxl

Am 29.09.2016 um 03:39 schrieb oldk1331: >> with --enable-sixel-graphics (configure). > > Oops, I compiled xterm with "--enable-sixel", which is what > https://github.com/saitoha/libsixel said. > > Now I compile it with "--enable-sixel-graphics" and it works. Great, nevertheless. > > I guess

Re: [fricas-devel] Fwd: Shutter :: ltx2sxl

Oh, apparently I've misdirected that mail. Thanks for making me aware of this ;) I'm using "xterm -ti vt340" on Linux and mintty version 2.6.1 on Windows (Cygwin64) for instance. 'Mlterm' works as well. Here some links on the topic: https://github.com/saitoha/libsixel

Re: [fricas-devel] fricas_w32 : Hope for Windows 10 Users

Am 03.10.2016 um 09:53 schrieb oldk1331: > Kurt, off topic a little, what do you think of a 64bit windows binary? > I've been thinking of it frequently. From time to time I try to compile it using Mingw64 (x86_64 Msys) or even Cygwin64 (x86_64 Cygwin). Although the official cygwin32

[fricas-devel] fricas_w32 : Hope for Windows 10 Users

I've pushd a new release of the Windows installer (includes Fricas 1.3). It works well on Windows 7,however, due to the "Console Improvements in Windows 10" (google it if you like ;) the mingw version doesn't work properly (more precisely: the system commands like ")quit" refuse to do their job).

Re: [fricas-devel] fricas_w32 : Hope for Windows 10 Users

I enthusiastically installed the 64-bit Intel/AMD Linux binary in the first place before recognizing that not a single Lisp disto will go. The error messages seem to be unrelated at first sight, however, there might be a common source (as you suggest below). >> >>

[fricas-devel] jupyter notebook

I've got several complaints that installing https://github.com/nilqed/fricas_jupyter fails. Indeed, there are a lot of changes in various prerequisites like pzmq, sbcl and jupyter. It's difficult to maintain a package if so many dependencies still are under active development. Anyway, I've never

Re: [fricas-devel] fricas_w32 : Hope for Windows 10 Users

Am 03.10.2016 um 00:23 schrieb Waldek Hebisch: > Kurt Pagani wrote: >> >> I enthusiastically installed the 64-bit Intel/AMD Linux binary in the first ... >> of much help to get Fricas running !? Or, by the way, do you think ABCL could >> ever be used to compile

Re: [fricas-devel] jupyter notebook

Am 02.10.2016 um 22:57 schrieb Waldek Hebisch: and one copy of sman > is responsible to demultiplex FriCAS output and send it to proper > destination. Other programs use Unix domain sockets, and use > functions like 'connect_to_local_server' to establish connection. > Graphics only uses sockets,

Re: [fricas-devel] [PATCH] allow "~" in )read )compile for SBCL

I always wondered whether it's a specific SBCL issue. In Cygwin (clisp) there's no problem. On the other hand )lisp (load "~/dir/file") also works with SBCL compiled fricas. BTW )read $HOME/... fails in both. On 10 October 2016 at 04:51, oldk1331 wrote: > SBCL specific bug,

Re: [fricas-devel] comments style for mathematical algorithms

> > In general terms, I think it is better if anyone can contribute > > to FriCAS without having access to a technical library. > > Yes, it would be best to have something like an open source > book/encyclopedia for CAS, but I don't think such things > exist. > > You're right, there is not much

Re: [fricas-devel] comments style for mathematical algorithms

BTW (I've forgotten adding in the last post): Symbolic Integration I: Transcendental Functions Author: Manuel Bronstein https://archive.org/details/springer_10.1007-978-3-662-03386-9 Is this the one you cited? -- You received this message because you are subscribed to the Google Groups

Re: [fricas-devel] get type of object as a fricas object

Am 29.10.2016 um 16:02 schrieb Bill Page: > In the interpreter the built-in 'typeOf' returns > > (8) -> typeOf(Integer) > >(8) Type >Type: Category > > (9) -> typeOf(Type) > >(9) Category >

Re: [fricas-devel] [PATCH] More simplifications in GroupPresentation

Hello Martin Your "GroupPresentation" actually isn't a group, so I wonder whether it wouldn't be favourable to implement a domain, e.g. "FinitelyPresentedGroup" which could be reused elsewhere. If you take on the burden to augment some group theory to Fricas anyway, you might consider doing it

Re: [fricas-devel] [PATCH] More simplifications in GroupPresentation

On 10 November 2016 at 10:37, Martin Baker wrote: > Hi Kurt, > > > Your "GroupPresentation" actually isn't a group, so I wonder whether it > wouldn't > > be favourable to implement a domain, e.g. "FinitelyPresentedGroup" which > could > > be reused elsewhere. If you take on

[fricas-devel] Unusual run-times of a simple integral

When integrating sin(x)*cos(2*n*x), n=1,10,20,30, there is a unusual growth in run-time. I guess that the cause might be found in trigonometric transformations. Is that so? Of course we can integrate using the parameter "n" followed by evaluation, however, I wonder whether this behavior is

Re: [fricas-devel] random from IntegerNumberSystem

PI->NNI ? Awkward indeed. In other langs: C++ int rand (void); Returns a pseudo-random integral number in the range between 0 and RAND_MAX . Python import randomprint(random.randint(-9,9)) PHP int *rand* ( int $min , int $max ) CL (where Fricas' random

Re: [fricas-devel] random from IntegerNumberSystem

CL (where Fricas' random is based on) > http://clhs.lisp.se/Body/f_random.htm > This might explain why 'random' it's implemented as is. > What about the quality of RANDOM()$Lisp? > > The following page is about Lisp's RANDOM function (apparently a Mersenne Twister). The comments therein (at

Re: [fricas-devel] random from IntegerNumberSystem

Am 23.10.2016 um 07:15 schrieb Waldek Hebisch: > Kurt Pagani wrote: >> >> Function 'random' is found in several .spad files and cannot be changed >> easily (see below, e.g. permgrps). >> Perhaps a new function random: (INT,INT) -> INT or Interval(IN

[fricas-devel] Re: Viewports, Draw

On Monday, 17 October 2016 21:36:30 UTC+2, Kurt Pagani wrote: > > > So my question is *how to extract 3d curve data from ThreeSpace (SPACE3)?* > I've tried some of the functions there but got weird output. > In the meantime I could figure it out. My bad, I' didn't recogniz

Re: [fricas-devel] Haskell, Functor, Monad, Maybe

"maybe" is included and there are other interesting cases besides IO (I used it once in Pure to implement the Martelli-Montanari unification algorithm w. side effects). So don't be confused by the "partial" notion. On 19 October 2016 at 04:40, Bill Page <bill.p...@newsynthesis.org> wrot

Re: [fricas-devel] Re: Viewports, Draw

You're perfectly right. I recognized too late that only 27 Colors are available: (1) -> color(28) >> Error detected within library code: Color should be in the range 1..27 Still, it's a mystery. In the first place I thought it was HSV, but "hue" here seems to me entirely unrelated. Now I

Re: [fricas-devel] Re: Viewports, Draw

Thank you for the hint. I wasn't aware of and it's useful anyway. > As a principle, is it better to use the lisp or to (hand) translate to spad? I can't say in general, but IMO math related code in spad, UI/tools related things in lisp. I rate the lisp background as a merit ;) On 19 October

Re: [fricas-devel] [PATCH] More simplifications in GroupPresentation

Hello Martin > Hi Kurt, > > In simpler terms: PermutationGroup and GroupPresentation are never going to > implement the category 'Group' because in PermutationGroup and > GroupPresentation > % represents the whole group whereas in Group % represents an element of the > group. Indeed. Since

Re: [fricas-devel] [PATCH] More simplifications in GroupPresentation

To avoid confusion let's make an example: L:=[u,v,w] FG2:=FreeGroup OVAR L fg2:=[coerce(s)$FG2 for s in enumerate()$OVAR(L)] LL:=[retract(s)$FG2 for s in fg2] FG2 has Group --> true So FG2 is a free group and we can build terms (1) -> fg2.1 * fg2.2 * inv(fg2.1) - 1 (1) u v u

Re: [fricas-devel] Unusual run-times of a simple integral

way to compute Fourier coefficients. That was a really good hint :) On Friday, 11 November 2016 18:15:29 UTC+1, Waldek Hebisch wrote: > > Kurt Pagani wrote: > > > > BTW do you have any idea what FourierSeries(R, E) and FourierComponent E > are > > for? I

Re: [fricas-devel] Symbolic (unevaluated) Expressions

This reminds me to https://lists.nongnu.org/archive/html/axiom-developer/2009-06/msg2.html I've seen your symbolic.spad for the first time and it might be an approach to a topic which is haunting around for some time. How would you implement formal sums, integrals, differentials and so on?

Re: [fricas-devel] [PATCH] More simplifications in GroupPresentation

Am 13.11.2016 um 19:24 schrieb Martin Baker: > > For homotopy and homology the current GroupPresentation domain gives me a > relatively simple way to do the things I need. I'm not sure if the extra > complexity of the FreeGroup domain would be justified? It seems to me that > these > subjects

Re: [fricas-devel] Symbolic (unevaluated) Expressions

Am 15.11.2016 um 14:12 schrieb Bill Page: > On 14 November 2016 at 21:39, Kurt Pagani <nil...@gmail.com> wrote: >> This reminds me to >> https://lists.nongnu.org/archive/html/axiom-developer/2009-06/msg2.html >> >> I've seen your symbolic.spad for the first

Re: [fricas-devel] Symbolic (unevaluated) Expressions

Am 15.11.2016 um 05:59 schrieb oldk1331: >> How about using List of EXPR as Rep? > > Second thought, it will not work, polynomial will still be expanded. > >> On the other hand, probably carrying it too far, one might use OutputForm >> which >> is very expressive and greatest possible

Re: [fricas-devel] Symbolic (unevaluated) Expressions

On 17 November 2016 at 07:41, Bill Page wrote: > > Again, here is another draft. The latest version of the code is here: > > https://github.com/billpage/fricas/commit/c22aa634311e19153681b02ff02f3a6a02033d64 > I got it, thank you. (2) -> x:SEXPR(INT)

Re: [fricas-devel] Unusual run-times of a simple integral

u have any idea what FourierSeries(R, E) and FourierComponent E are for? I can't recognize any functionality regarding to compute Fourier coefficients nor series. Am 11.11.2016 um 01:49 schrieb Waldek Hebisch: > Kurt Pagani wrote: >> >> When integrating sin(x)*cos(2*n*x), n=1,10,20,30,

Re: [fricas-devel] Symbolic (unevaluated) Expressions

Am 15.11.2016 um 22:58 schrieb Bill Page: > On 15 November 2016 at 12:01, Kurt Pagani <nil...@gmail.com> wrote: >> Am 15.11.2016 um 14:12 schrieb Bill Page: > > >>> On 14 November 2016 at 21:39, Kurt Pagani <nil...@gmail.com> wrote: >>>> This rem

Re: [fricas-devel] get type of object as a fricas object

Am 31.10.2016 um 02:42 schrieb Bill Page: > On 30 October 2016 at 19:14, Waldek Hebisch wrote: >> ... >> OTOH: >> >> (2) -> typeOf(Integer) >> >>(2) Type >>Type: Category >> (3) ->

Re: [fricas-devel] get type of object as a fricas object

Am 31.10.2016 um 17:06 schrieb Waldek Hebisch: > > Definitely this sentence is wrong. Since this is a footnote I think > proper correction is to delete it. > Wrong yes, but delete? It doesn't look like a footnote in the strong sense: Chapter 2.1 The Basic Idea

Re: [fricas-devel] get type of object as a fricas object

Am 31.10.2016 um 16:25 schrieb Kurt Pagani: > Chapter 2.1 (after 2.1.1) tells us: > >>> > The most basic category is Type. It denotes the class of all domains and > subdomains. Note carefully that Type does not denote the class of all types. > The > type of all categ

Re: [fricas-devel] get type of object as a fricas object

Chapter 2.1 (after 2.1.1) tells us: >> The most basic category is Type. It denotes the class of all domains and subdomains. Note carefully that Type does not denote the class of all types. The type of all categories is Category. The type of Type itself is undefined. << This might partially

Re: [fricas-devel] get type of object as a fricas object

Not bad ;) Now we can compare types: )abbrev package CMPTYPE CompareTypes CompareTypes(T:Type,S:Type):Exports == Impl where SEX ==> SExpression Exports == with sameType? : (T, S) -> Boolean Impl == add import TypePackage(T) import TypePackage(S) sameType?(x:T,y:S):Boolean

Re: [fricas-devel] get type of object as a fricas object

> > I wonder what is the goal of this excercise? Probably futile, but oldk's TypePackage is so simple, elegant. BTW I've read your comment on this ... no objections ;) > > BTW: Both in Spad and in interpreter overload resolution > takes into account target type. So for expressions anwer >

Re: [fricas-devel] get type of object as a fricas object

Not really, but if nothing else sameType?(Integer,Float) works, dom can't ;-) Am 29.10.2016 um 04:54 schrieb Bill Page: > Is that better than > > (1) -> (dom([1,2,3])=dom([1,2]))@Boolean > >(1) true > Type: Boolean > (2) ->

Re: [fricas-devel] jupyter notebook

Am 11.10.2016 um 20:04 schrieb Arthur Ralfs: > On 10/09/2016 05:24 PM, Kurt Pagani wrote: >> Am 10.10.2016 um 00:03 schrieb Arthur Ralfs: >>> On 10/09/2016 01:07 PM, Waldek Hebisch wrote: >> >>>> axserver may be sever due to Martin Rubey, he wro

Re: [fricas-devel] jupyter notebook

Am 12.10.2016 um 01:31 schrieb Waldek Hebisch: > Kurt Pagani wrote: >> >> Am 11.10.2016 um 04:39 schrieb Waldek Hebisch: >>> >>> I am affraid there are dragons here. IIUC you use FriCAS functions >>> in two different threads. Currently FriCAS is n

Re: [fricas-devel] jupyter notebook

Am 12.10.2016 um 03:48 schrieb Bill Page: > On 11 October 2016 at 20:16, Kurt Pagani <nil...@gmail.com> wrote: >>> >>> Haven't gone back to look but I seem to remember parseAndEvalToString was >>> important. It was a hack because doing it properly was goin

Re: [fricas-devel] jupyter notebook

is an approach that might lead to a sustainable solution, whereas the hope for a really portable messaging kernel is rather declining (from a long-acting perspective) and is highly depending on how CL zmq bindings will be supported in the future. Am 09.10.2016 um 22:07 schrieb Waldek Hebisch: > K

Re: [fricas-devel] [PATCH] fix an indexing bug in bezout.spad

I'd prefer the reference to a book or paper as well, because one needs a context, Isolated excerpts usually are not very helpful. * In dubio for both.* *@Ralf* By the way, http://fricas.github.io/api might need an update ;) On 9 October 2016 at 18:12, Martin Baker wrote:

Re: [fricas-devel] jupyter notebook

Am 10.10.2016 um 00:03 schrieb Arthur Ralfs: > On 10/09/2016 01:07 PM, Waldek Hebisch wrote: >> axserver may be sever due to Martin Rubey, he wrote about it in >> the mailing list. >> >> There was also work by Kai Kaminsky -- some info is in "contributions" >> section on the wiki. >> > >

Re: [fricas-devel] Haskell, Functor, Monad, Maybe

Am 17.10.2016 um 11:13 schrieb Martin Baker: > I suspect this is all a bit academic because I get the impression that the > FriCAS compiler is too unpredictable to make the changes to the type system > that > would be required for a more general category theoretic structures. Please > tell > me

[fricas-devel] Viewports, Draw

I have tried some minimally invasive changes to view2D and view3D spad files in order to intercept the graphics data before sending to viewman. Basically one has to modify "makeViewportxD", x=2,3, such that "makeViewportxD0" is called only if "viewman" is set as the frontend (default, of course).

Re: [fricas-devel] TensorProduct of three or more different spaces?

> Unfortunately, this is "expected" output. > No problem. I'm glad you confirmed this because I wasn't sure if I was doing something wrong. > > AFAICS classical Axiom answer for changing output is to define > new domain, wrapping the old one, but having different coercion > to

[fricas-devel] TensorProduct of three or more different spaces?

I'd like to construct the tensor product of three or more different modules, e.g. U#V#W. This is possible when iterating TensorProduct, however, the output somehow doesn't look as expected. I created a sandbox example (esp. eq 18). http://axiom-wiki.newsynthesis.org/SandBoxTensorProduct3 I've no

Re: [fricas-devel] Re: fricas.github.io

There is some progress. If you could create a branch I'd clone/pull. I think that the concpet will work, so we might start filling in the details (Makefile.in etc.). The fricas/src/doc/tmp folder corresponds to the tex_orig/. Some further remarks below (between). 1. convps.sh ==> converts ps/*.ps

<    1   2   3   4   >