[fricas-devel] \centerline vs \center

Dear Waldek, since you replaced \center by \centerline recently. There are still a few places where \center occurs. Maybe it would be a good idea to also change them to ´\centerline' Ralf https://github.com/fricas/fricas/blob/master/src/hyper/htinp.c#L442 fprintf(pfile,

Re: [fricas-devel] [PATCH] generate book.pdf with PS image instead of bitmap image

Qian, I assume that your patches are the same as your new-ps-book branch. I somehow liked your idea for the "stamp-pics" target. Currently, I am going slowly through the documentation and found a number of bugs. See my branch https://github.com/hemmecke/fricas/tree/wip/fricas-book. (DANGER! I

Re: [fricas-devel] [PATCH] enable "title" in PS format of image output

with X11 logic, so it is too difficult to make the generation of PS free of X11 dependency. That is sad. About next steps: First is to use those generated PS images for the book. I currently used a hack in htinp.c to generate PS image, but a proper solution is needed, maybe by tweaking the

Re: [fricas-devel] SKIP in src/input/Makefile.in

Honestly, I would be happy, if input/ contained just testfiles and this directory would be called tests/. THis should be OK for type (A) files. Type-(B) files should gradually be transformed to type-(A) files. It is not clear what you mean by "gradually transformed". Rewriting those files

Re: [fricas-devel] [PATCH] make the filename of PS output in viewport to "image.ps"

ssage because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/

Re: [fricas-devel] SKIP in src/input/Makefile.in

Tim Daly probably can say more about original intent. For me it is documentation: it is list of files that we have but do not use. Logically, removal of SKIP should involve removal of files listed there. I have not yet completely compared everything, but the content of this directory is

[fricas-devel] SKIP in src/input/Makefile.in

I guess the SKIP variable was at some point useful for something. I can, however, not find where it is actually used now. Can we remove it? Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group

Re: [fricas-devel] [PATCH] remove "sleep" to speed up "draw"

Maybe this comment is connected to the sleep stuff... https://github.com/fricas/fricas/blob/master/src/hyper/htinp.c#L351 == THEMOS says: There is a problem here in that we issue the (|close|) and then go on. If this is the last command, we will soon send a SIGTERM and the whole

[fricas-devel] \url command in util.ht

Hi Waldek, I just saw that you have silently introduced an \url command int util.ht in a commit that says Use '\centerline' instead of '\center Why was the reason for it?

Re: [fricas-devel] "title" in image output

On 4/17/24 13:08, Qian Yun wrote: This "title" thing is more complex than I thought. For  vp:=draw(x,x=0..1); write(vp,"pic", FORMAT) When FORMAT is: "pixmap" or "bitmap": generates 400x400 image, title is the same as screen output "image": generates 300x324 image, title is 24 pixel higher

Re: [fricas-devel] Problem with function definition

This sounds great! Thank you! Ralf On 4/17/24 03:57, Waldek Hebisch wrote: On Mon, Mar 25, 2024 at 07:00:44PM +0100, Ralf Hemmecke wrote: %%% (1) -> a: Integer := 1 (1) 1 Type: Integer %%% (2) -> r

Re: [fricas-devel] generate images from sources in appendix

Just a silly question: have you looked why the image is so big? Just a proposal. What about putting moderately sized smooth pictures into the book and high resolution pics at some place in the web and make to book only pointing to these online pictures, in particular those probably

Re: [fricas-devel] output filename of PostScript image

Interestingly, in ug07.htex there also appears fricas3D.pixmap. Also in ./src/graph/view3D/process3d.c:0743: I see fricas3D.xpm mentioned. Change that as well? I do not think it would be much of a problem if the generated .ps files are called image.ps. In fact, I don't care much about the

Re: [fricas-devel] "title" and "frame" in PostScript output

My point is, should we try to make the PS format and xpm format look the same? In general, I would say yes. On the other hand what part of FriCAS is using the xpm format? If it is only HyperDoc, then I don´t care as I do not care much about HyperDoc at all. It is good as it is, but otherwise

Re: [fricas-devel] Deprecated operations in scene.spad

On 4/12/24 16:20, Martin Baker wrote: On 12/04/2024 09:23, Ralf Hemmecke wrote: I do not understand why you think that not both graphics systems can live besides each other (as they do now)? Well, I think that the interactive graphics should work seamlessly with the things that scene.spad

Re: [fricas-devel] bug: FriCAS aldor cannot load compiled program

Thank you, Waldek, for fixing it. WARNING: (get_database dd1 modemaps) failed >> System error: The function BOOT::|database-constructorform| is undefined. There was still older code in Aldor related part ('database-constructorform' is removed now). Fixed now in the trunk. I,

[fricas-devel] bug: FriCAS aldor cannot load compiled program

Hi Waldek, seemingly, commit b3949674b6ec5234c9756b8ff475b87e4820323f broke something in the FriCAS Aldor connection. For the attached files, I get ... (see below). Unfortunately, I am unable to see where it comes from. Ralf %%% (1) -> )co funny.as Compiling FriCAS source code from file

Re: [fricas-devel] Deprecated operations in scene.spad

Unfortunately, I have not much experience with graphics code and not yet much need of using some, however, I would really like to be able to create nice looking graphics easily with FriCAS, be it via SPAD code or via external libraries. In particular in connection with jFriCAS, the old graphics

Re: [fricas-devel] Database handling

Dear Waldek, thank you for the ")quiet" option. Ralf BTW: During rework I implemented ')quit' flag for ')lib'. With this flag ')lib' will still print error messages, but normal chatter is supressed. -- You received this message because you are subscribed to the Google Groups "FriCAS -

[fricas-devel] integer square root expressions

Does FriCAS have a function that turns (-13591409*sqrt(3)*sqrt(5)*sqrt(23)*sqrt(29)*sqrt(163)-13591409*sqrt(-1)*sqrt(3)*sqrt(5)*sqrt(23)*sqrt(29))/350216620800 into -13591409*sqrt(10005)*(sqrt(163)+sqrt(-1))/350216620800 i.e. factoring out common integer root expressions? Ralf -- You

[fricas-devel] Pattern matching in FriCAS

I have no great experience with pattern matching. While constructing combineRadicals := rule (_ sqrt(-(x|integer? x and positive? integer x)) *_ sqrt(-(y|integer? y and positive? integer y))_ == -sqrt(x*y);_ sqrt((x|integer? x)) *_ sqrt((y|integer? y and positive? integer y))_

[fricas-devel] i-output.boot vs Format2D

On 4/8/24 22:23, Waldek Hebisch wrote: It is reasonably good target. The problem as of today is that code in 'i-output.boot' is our most robust formatter and ideally replacement would more robust. I agree here. Even though I am pretty sure that Format2D gives better output then i-output.boot

Re: [fricas-devel] improve "dbReadLines"

On 4/7/24 14:28, Qian Yun wrote: On this subject, I find that you can call Spad function from Boot. I wonder if i-output.boot is a good target to port to Spad first. Have you seen https://github.com/fricas/fricas/blob/master/src/input/outputtest.input ? Right, Format2D is not exactly doing

Re: [fricas-devel] function "asList" in as.boot not used anywhere?

On 4/6/24 04:32, Qian Yun wrote: OK, just build successfully with Aldor without this function. Obviously already too late since you have committed the removal, but removing asList seems safe for now. There is seemingly even no callback from Aldor. aldor:master>grep -Ri 'asList' *

Re: [fricas-devel] two argument error function

On 4/3/24 19:48, Waldek Hebisch wrote: Yes. However, here there is question of tracking values. If you give types you should do x : T := v and not x : T ... x := v OK. I think you mentioned some time ago that in SPAD writing x:T basically means "assigning a

Re: [fricas-devel] two argument error function

On 4/3/24 18:41, Waldek Hebisch wrote: Well, AFAICS this is one of limitations of current compiler: 'error' gets special treatment, but only when it is translated to Boot function called 'error'. If you rename 'error3' to 'error', then the file will compile. But I expect that such rename will

Re: [fricas-devel] two argument error function

Hi Waldek, I've now tried to compile all of FriCAS with your patch (adding the error3 function to g-error.boot). https://github.com/fricas/fricas/compare/master...hemmecke:fricas:wip/error3.patch Branch "wip/error3" at my github repo: https://github.com/hemmecke/fricas/tree/wip/error3 It

Re: [fricas-devel] two argument error function

On 4/1/24 00:27, Waldek Hebisch wrote: I also saw that it might be possible that fun and/or con could be NIL. I do not yet see where that could happen, but maybe for those cases the code of error3 should be different. Well, the patch is just proof of concept. There are corner cases which

Re: [fricas-devel] two argument error function

Hello Waldek, Attached is a little patch which changes error function to 'error3' and adds two extra paramters, that is constructor name and function name. You need to add definition of 'error3', for example: error3(con, fun, mess) == errorSupervisor($AlgebraError, [STRCONC(con, '"$",

Re: [fricas-devel] two argument error function

On 3/30/24 00:43, Waldek Hebisch wrote: Compiler knows function name and constructor name. Note however that FriCAS types are parametrized, and type parameter are known only at runtime. Waldek, that sounds as if printing function and constructor name would be quite easy to achieve. Yes,

Re: [fricas-devel] two argument error function

On 3/28/24 03:55, Waldek Hebisch wrote: On Thu, Mar 28, 2024 at 03:15:46AM +0100, Ralf Hemmecke wrote: That is easy, we have things like error "makeSketch: constant polynomial" That is, include function name as part of error message. We should, maybe, more often use the two argu

[fricas-devel] two argument error function

That is easy, we have things like error "makeSketch: constant polynomial" That is, include function name as part of error message. We should, maybe, more often use the two argument error function. https://github.com/fricas/fricas/blob/master/src/algebra/error.spad#L47 Ralf -- You

[fricas-devel] julia-fricas (jlfricas) build-instructions?

Hi Greg, I cloned your jlfricas branch and tried to compile. julia version 1.9.2 configure --enable-julia seems to work fine, but make does not work. Du you know why? Do you have clear build instructions (especially the prerequisites) available? I actually wanted to answer your other

Re: [fricas-devel] Problem with function definition

On 3/25/24 16:13, Waldek Hebisch wrote: This is a bug in FriCAS. RootSimplification uses interpreter to initialize its variables. However, this does not work when first use of RootSimplification is inside a function. Ah. OK. Thank you. What about documenting this? It is not clear whom to

[fricas-devel] Problem with function definition

Hello, does somebody see my error? I don't understand why the function "nicer" does not work, but the individual commands on the input do. What I also find strange is that the error message for "nicer" changes in the end. The commands of the following session are attached. Thanks in

Re: [fricas-devel] AlgebraicNumber

On 3/22/24 17:14, Waldek Hebisch wrote: You asked almost the same thing on 6 Jul 2023. Do you see a problem? I have at least 2. (1) your solution was too complicated, i.e. hard to remember by heart, (2) it involves InnerTrigonometricManipulations. I consider an "Inner..." package as

Re: [fricas-devel] AlgebraicNumber

o needlessly coerce something to AN. Ralf On 3/22/24 13:59, Qian Yun wrote: Line 615 of expr.spad. (Related function: smp2an, k2an, R2AN). - Qian On 3/22/24 20:57, Ralf Hemmecke wrote: Maybe this signature    retractIfCan : % -> Union(AlgebraicNumber,"failed") should support it

Re: [fricas-devel] AlgebraicNumber

Maybe this signature   retractIfCan : % -> Union(AlgebraicNumber,"failed") should support it, when % is EXPR COMPLEX INT. Implemented where? Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this

Re: [fricas-devel] AlgebraicNumber

Oh, for my case I have found a simple trick. First map to Expression(Complex Intger) to Expression(AN) and then retract. i := sqrt(-1)@AN; za := map(x+->(real x + i*imag(x)), z) Ralf PS: Yes, Qian, your answer looks close. On 3/22/24 13:22, Ralf Hemmecke wrote: Suppose by some computatio

[fricas-devel] AlgebraicNumber

Suppose by some computation I get an expression like z := (10*sqrt(163)+11*%i)/13/sqrt(105) I would like to transform it into an element of AlgebraicNumber. Unfortunately, up to now I was unable to find a function that helps to to the retraction. Does someone know a way for cases where I

Re: [fricas-devel] rational denominator

Fri, 8 Mar 2024, Ralf Hemmecke wrote: FriCAS have a function that transforms r := sqrt(3/5) into sqrt(15)/5. (1) -> ratDenom sqrt(3/5) +-+ +-+     \|3 \|5    (1)      5   Type: AlgebraicNumber Franz -- You re

[fricas-devel] rational denominator

Hi, I know in general it is problematic for complex numbers, but does FriCAS have a function that transforms r := sqrt(3/5) into sqrt(15)/5. I would like to have integers instead of rational numbers under the sqrt. Ralf -- You received this message because you are subscribed to the Google

Re: [fricas-devel] [PATCH] fix ')edit'

On 3/3/24 14:20, Waldek Hebisch wrote: My 'more' has no '-e' option. If this option is given it just complains. Hmmm, that may well be. Are you working with a BSD version of "more"? Is there a way to figure out the minimal set of common options that we can rely on? This is obviously not

Re: [fricas-devel] Handle more C types in FriCAS FFI macros (fricas-lisp.lisp)

On 3/1/24 21:45, Waldek Hebisch wrote: On Fri, Mar 01, 2024 at 07:40:24AM +0100, Ralf Hemmecke wrote: On 3/1/24 01:33, Waldek Hebisch wrote: IMO before going forward with implementation we should first define what FFI should do. One basic question is "who owns the data". sbcl FF

Re: [fricas-devel] Handle more C types in FriCAS FFI macros (fricas-lisp.lisp)

On 3/1/24 01:33, Waldek Hebisch wrote: IMO before going forward with implementation we should first define what FFI should do. One basic question is "who owns the data". sbcl FFI slightly prefers variant when C code owns data. This avoid memory management by Lisp implementation. But it also

Re: [fricas-devel] What would you call Join(SemiRng, AbelianMonoid) as a category

I also want to add this bit. https://github.com/fricas/fricas/blob/master/src/algebra/catdef.spad#L214 CharacteristicZero() : Category == Ring === Suppose Foo1(R: CharacteristicZero) : ... == ... Foo2(R: Ring) : ... == ... FriCAS uses the named category CharacteristicZero to

Re: [fricas-devel] Why sometimes the user command is (re-)printed just before the result is displayed

Can you give a full account on when this happens so that it would be reproducible on my side? I can only guess that it must be one of the commands that you enter in your session. Ralf On 2/22/24 14:40, Grégory Vanuxem wrote: Hello, Sometimes after different computations, suddenly,

Re: [fricas-devel] What would you call Join(SemiRng, AbelianMonoid) as a category

On 2/21/24 21:23, Hill Strong wrote: Good morning Ralf, On Thu, Feb 22, 2024 at 4:49 AM Ralf Hemmecke wrote: [Remove ...] Suppose there are two categories CatA and CatB and we define CatAB: Category == Join(CatA, CatB) You know that there is a little difference between FooJ(D): Export

Re: [fricas-devel] What would you call Join(SemiRng, AbelianMonoid) as a category

On 2/21/24 18:04, Hill Strong wrote: My count is that there are 24 occurrences of this particular combination. There are other combinations that exist for which a named category is available - one example is Join(LinearAggregate(S), finiteAggregate) which can be replaced with

Re: [fricas-devel] What would you call Join(SemiRng, AbelianMonoid) as a category

On 2/21/24 15:46, Hill Strong wrote: I have quite a few places in the FriCAS source code the following Join(SemiRng, AbelianMonoid) What would you call this particular algebraic structure? The name is actually irrelevant. Since it is a Join, it is actually an unnamed category in FriCAS that

Re: [fricas-devel] Re: Google Gemini response about FriCAS

On 2/15/24 21:48, Dima Pasechnik wrote: Oh, wow, Bernard Parisse develops FriCAS while taking a break from developing giac... Yes, we capture all eventually ;-) ... you only must ask Gemini long enough. Ralf -- You received this message because you are subscribed to the Google Groups

Re: [fricas-devel] Re: Google Gemini response about FriCAS

Hi Tim, I didn't know that you forked your own project. ;-) Anyway, it is so obvious that Gemini is just uttering something without ever taking any action to verify what came out from his/her/their neurons. :-( Ralf = who are

Re: [fricas-devel] Re: Google Gemini response about FriCAS

The answer to the question below is very accurate. ;-) Maybe I should be looking for Claude Leloutre at Linz. Perhaps he is the one that maintains the Mercurial repository of FriCAS. I am now very convinced that AI is the future. ;-) Ralf

Re: [fricas-devel] noOutputXtc and ")read"

https://github.com/oldk1331/fricas/tree/improve-book You'll see what I mean after you generate the book and see "Appendix B". I wanted to write something else, but then I investigated in more detail and think that you have simply found a bug. When you look at the place

Re: [fricas-devel] noOutputXtc and ")read"

Hi Qian, I do not think that many people on the list are interested in the detail. So we could switch to private mails. On the other hand " "spamming" fricas-devel with that stuff is probably also good just to keep the history. \noOutputXtc{ Read torus knot program. }{ \spadcommand{)read

Re: [fricas-devel] [PATCH] fix ')edit'

On 2/7/24 14:12, Waldek Hebisch wrote: On Wed, Feb 07, 2024 at 07:34:55PM +0800, Qian Yun wrote: So we shall make the 'more -> less' change then? I will wait few days for possible additional info or ideas. I would be for a change to using 'less', but as Waldek said, that might not be

Re: [fricas-devel] Code in array1.spad can never be executed

On 2/4/24 18:20, Grégory Vanuxem wrote: Hello, I am on a smartphone with family but the code seems cryptic to me. What is shrinkable? ? https://github.com/fricas/fricas/blob/master/src/algebra/array1.spad#L138 https://github.com/fricas/fricas/blob/master/src/algebra/array1.spad#L157 Ralf

Re: [fricas-devel] better quality image in book.pdf

There's a section "Axiom Images" includes ps/v0page1.eps to ps/v0page8.eps. https://github.com/daly/axiom/blob/master/books/ps/v0page1.eps Oh. You have found something. I left out those pictures that appear somewhere in the middle of the orginal Axiom book in high quality. I could scan it

Re: [fricas-devel] better quality image in book.pdf

-    sprintf(buf, "(|processInteractive| '(|write| |%s| \"%s%d\" \"image\") NIL)", "%", +    sprintf(buf, "(|processInteractive| '(|write| |%s| \"%s%d\" \"postscript\") NIL)", "%", pagename, example_number);   

Re: [fricas-devel] better quality image in book.pdf

I have printed versions of the original pictures in the book. I'm not sure if scanning them would be useful though. Not useful (for me, at least). We are not selling a super-duper product. So if the FriCAS book just shows graphics the way that FriCAS is currently able to produce, then I think

Re: [fricas-devel] better quality image in book.pdf

Hi Qian, No. I think there is no reason to convert .xpm for the book. Any way to produce the final picture that is included in the book is fine. As far as I know, .xpm might be needed for HyperDoc. Otherwise, I would be super-happy, if we can generate the pictures for the book without X. Let

[fricas-devel] trappedSpadEval $ Lisp

Hi Qian, just a side remark... On 1/25/24 11:36, Qian Yun wrote: +  nu : Union(N, "failed") := trappedSpadEval(possibleOrder(d))$Lisp Oh, trappedSpadEval $ Lisp looks like a useful function. Sounds like a "try [CODE] catch ..." construction. What exactly can it do? H...

Re: [fricas-devel] storing value of a constant function, want recall / strange behaviour of Reference using a domain name like FIDETransposition

On 1/22/24 16:00, oldk1331 wrote: The "constant" can cause the compiler to cache the result and return it directly next time, IIRC. Oh... well... here it is documented. https://github.com/fricas/fricas/blob/master/src/doc/ht/gloss.text#L161 Since that appears only under src/doc/ht, I am sure

Re: [fricas-devel] storing value of a constant function, want recall / strange behaviour of Reference using a domain name like FIDETransposition

I am not quite sure what the "constant" in this line actually means (Is that documented somewhere?), but intuitively it might be the sources of your "problem". https://github.com/fricas/fricas/blob/master/src/algebra/catdef.spad#L1498 Ralf -- You received this message because you are

Re: [fricas-devel] make build with sbcl-2.4.0 work out of box

Qian, On 1/16/24 13:39, Qian Yun wrote: Actually, you can: ./FRICASsys --dynamic-space-size 2 OR fricas -nosman --dynamic-space-size 2 It not possible with sman though. That's enough for me. So the actual problem is calling the sman version of fricas. Cannot that be solved by

Re: [fricas-devel] make build with sbcl-2.4.0 work out of box

it should be easy to basically let ./configure convert --with-lisp=sbcl into --with-lisp="sbcl --dynamic-space-size 2048" Unfortunately, Qian is right --dynamic-space-size must be configurable. In fact, I would even be much more happy, if I could add --dynamic-space-size SOMETHING later,

Re: [fricas-devel] small changes to src/doc/sphinx/source/download.rst

On 1/16/24 11:00, Qian Yun wrote: I have committed some typo fixes, but also remove a few lines in src/doc/sphinx/source/download.rst regarding nightly builds. Thank you for doing this. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer

[fricas-devel] expose message

When I have compiled some library and in a new session load it via )library X4TI2 I get the messages... X4ti2 is now explicitly exposed in frame initial X4ti2 will be automatically loaded when needed from /home/hemmecke/backup/git/qeta/tmp/X4TI2.NRLIB/X4TI2 Is there an easy way to silence

[fricas-devel] Fwd: [fricas/fricas] 3987da: [ci] upload binary of tagged commit to nightly builds

There is still no tag 1.3.10 at https://github.com/fricas/fricas/tags Ralf Forwarded Message Subject: [fricas/fricas] 3987da: [ci] upload binary of tagged commit to nightly builds Date: Wed, 10 Jan 2024 19:12:59 -0800 From: Qian Yun To: fri...@hemmecke.org Branch:

Re: [fricas-devel] FriCAS 1.3.10 is released

Why do you not add the "--with-lisp" option to configure as clearly written here? http://fricas.github.io/install.html#detailed-installation-instructions Change 4096 to about 75% of your actual RAM. Since you said, you have 40GB, maybe you try with ../fricas/configure --with-lisp="sbcl

[fricas-devel] fricas-wiki

Hi Waldek, I just saw that http://wiki.fricas.org/FriCASLibraryExamples does not automatically redirect to https. Not utterly important, but it's probably easy to setup an Aoache rewrite rule to redirect to https. RewriteRule ^/(.*) https://%{SERVER_NAME}/$1 [R=301,L] Ralf -- You

Re: [fricas-devel] Release notes

Waldek, I guess, you could also mention the fix for "fix wrong creation of sparse power series" https://github.com/fricas/fricas/commit/5543cf52c7f0152bcfc9fd4c5a795ecfe9fbba74 Ralf On 1/8/24 01:21, Waldek Hebisch wrote: Below are preliminary release notes for incoming (1.3.10) release.

Re: [fricas-devel] Changes to install.rst

/d/msgid/fricas-devel/ad46df9f-0e4a-444b-b0bf-9ac5d4c732b1%40hemmecke.org. From 0702ea7c439371c0c4875bee07eb0cdcc611662b Mon Sep 17 00:00:00 2001 From: Ralf Hemmecke Date: Sun, 10 Dec 2023 18:11:01 +0100 Subject: update documentation for building FriCAS Aldor interface --- INSTALL

Re: [fricas-devel] many broken links at https://fricas.github.io/examples.html

Hi Aravindh, Sorry, but I am ill at the moment. I wanted to submit a PR to fricas/fricas.github.io: It make no sense to put a PR there, since this repo only holds the generated HTML files to be shown at github. ', more precisely in the 'src/doc'

Re: [fricas-devel] exp(3) and exp(1)^3 are displayed the same

(5) -> exp(3)-(exp 1)^3   3 3    (5)  %e  - %e OK. Thanks. Not wrong, but you must admit that such things look completely confusing to users. As a first-timer I would claim that FriCAS is a rather weak system if it doesn't know how to automatically simplify that. (Yes, I know

Re: [fricas-devel] exp(3) and exp(1)^3 are displayed the same

I propose that exp(1)^3 should be displayed with parenthesis around %e. I oppose. Even though you would make %e^3 distinguishable from exp(3) or exp(1)^3, I oppose against adding parentheses where none are needed. Parentheses should be added by the formatting routine and (if possible) not be

Re: [fricas-devel] \spad HT command

Are you saying that ${GEN_VIEWPORTFILES_PHT}: %.pht: %.ht ${INPUT_EXTRA_INPUT} ${SMAN} \ $(fricas_target_bindir)/hypertex$(EXEEXT) stamp-initial-ht-db echo $< unset DAASE; HTPATH=.; export HTPATH; \ FRICAS_INITFILE='' ${XVFB} ${SMAN} -noihere

Re: [fricas-devel] \spad HT command

On 12/27/23 17:11, Waldek Hebisch wrote: On Wed, Dec 27, 2023 at 12:05:26PM +0100, Ralf Hemmecke wrote: Hi Qian, Instead of your change to the documentation I would like to have this somehow a little more precise. Maybe like this: === # The intro.htex and util.ht files

Re: [fricas-devel] \spad HT command

Hi Qian, >> https://github.com/fricas/fricas/blob/master/src/doc/Makefile.in#L328 >> >> It will be generated before the compilation process comes src/doc for >> producing the documentation. > > But it looks like it is a directly copy of src/doc/ht/util.ht, > not generated. Oh yes, you are right.

Re: [fricas-devel] \spad HT command

Hi Qian, I do not know how relevant that is, but util.ht is pretty special and has a separate entry "util-ht" in src/doc/Makefile.in. https://github.com/fricas/fricas/blob/master/src/doc/Makefile.in#L328 It will be generated before the compilation process comes src/doc for producing the

Re: [fricas-devel] Re: What is Fricas equivalent to Maple op command (extract operands from expression)

On 12/23/23 21:53, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: What I meant to say, the lists in Fricas have to be same type, else it will not work with concat. Here is an example 20) -> L1:=[1,2,3] (23) -> L2:=["D","E","F"] (24) -> concat(L1,L2) gives error. Yes. And

Re: [fricas-devel] many broken links at https://fricas.github.io/examples.html

The first link works, but few I tried after that are all broken. Sorry, my fault. Replace in http://fricas-wiki.math.uni.wroc.pl/FriCASIntegration fricas-wiki.math.uni.wroc.pl by wiki.fricas.org so you get (https) https://wiki.fricas.org/FriCASIntegration I will regenerate the pages as

[fricas-devel] BUG: macro parameters are not parameters

I somehow think, the stuff below reveals a bug. Why should the parameter name in the definition of FOO matter? Ralf %%% (1) -> FOO(X)(Y) ==> Polynomial(X Y) Type: Void %%% (2) -> FOO(Fraction)(Integer) (2) Polynomial(Fraction(Integer)) Type: Type %%% (3) -> Y ==> PrimeField 2 Type:

Re: [fricas-devel] Linear Independence and change of basis

Sometimes it makes sense to say )type on in order to see what the interpreter makes out of your input. Obviously, returning a symbol is not what you want, i.e. the function selection goes not the way you hope for. %%% (10) -> isBasis?([v1,v2,v3]) (10) isBasis? 1, 2, 1

Re: [fricas-devel] Instructions for building with Aldor

For the user experience side of things, writing a GUI is hard. ... In this vein, I've picked intellij as a starting point. It does around 80% of what I want - ie. host projects, compile on the fly, and jump between definitions, documentation and usages of names. Pretty much hyperdoc embedded in

Re: [fricas-devel] Recursive call to interpreter

If I have a word to say... I definitely want ")read ..." and systemCommand("read ...) behave exactly the same. I used systemCommand only, because there I can programmatically specify the file to read. Since also interpret_block popped up... yes, it is the question whether one wants to time

Re: [fricas-devel] Instructions for building with Aldor

Hi Peter, I think the reference to 'Aldor folks' above is optimistic - I'd like to get a few more people helping with development (this is an optimistic plea for interested parties, to get involved btw). Yes, would be supergood to have more developers, but it's somewhat of a hen-egg-problem.

Re: [fricas-devel] Instructions for building with Aldor

BTW: When installing Aldor in the wiki I updated: http://wiki.fricas.org/AldorForFriCAS so that it contains info needed to install Aldor on wiki machine. In particular I did not see _working_ instructions for building Aldor itself in single place (there were hints in emails from Peter). Oh,

[fricas-devel] Re: [fricas/fricas] fix issue #142 (PR #143)

Would the attached test be enough? Ralf On 11/28/23 01:15, hebisch wrote: On Mon, Nov 27, 2023 at 01:43:50PM -0800, Ralf Hemmecke wrote: https://github.com/fricas/fricas/pull/143.patch https://github.com/fricas/fricas/pull/143.diff Change looks good. But we should also add tests

Re: [fricas-devel] Re: About the license file

On 12/8/23 14:39, Qian Yun wrote: I just realized that there is also this file: "src/etc/copyright". P... As always, IANAL. Additionally I can only guess what "copyright" actually means. German law distiguishes between "Urheberrecht" and "Nutzungsrecht". The Urheberrecht basically says

Re: [fricas-devel] Instructions for building with Aldor

I think that INSTALL.aldor should disappear and the respective information should go to install.rst. Give me some time to prepare a pull request. Ralf On 12/4/23 22:46, Waldek Hebisch wrote: Instructions for building Aldor interface are both in INSTALL and INSTALL.aldor, however neither

Re: [fricas-devel] About the license file

l/9003faa1-9b7d-4ba1-97ba-e693d0714ab6%40hemmecke.org. From cbf818c0e89b8de0e277b43396b33ee94426111e Mon Sep 17 00:00:00 2001 From: Ralf Hemmecke Date: Fri, 1 Dec 2023 12:58:50 +0100 Subject: move license/LICENSE.AXIOM to LICENSE and add 2 copyright lines --- license/LICENSE.AXIOM

Re: [fricas-devel] About the license file

Hi Tim, thank you for chiming in. On 11/30/23 19:49, Tim Daly wrote: Ralf, actually the license has to accompany every download. I spent a lot of time with NAG about requiring license and license text (in each file). Their lawyers required it. So I don't think it is sufficient to refer to

Re: [fricas-devel] About the license file

Waldek, now that you suggest that LICENSE.AXIOM can be downloaded from github, I think we can savely remove "license/" completely and write a note to the end of the LICENSE file that the orginal NAG license file is in the very first commit of the git repository. It would be safe to check

Re: [fricas-devel] aldor build fails

Well, there is certainly a reason why |Pi| gives these extra parentheses, but I do not know what to do here. This is a name clash: Pi is a type and for that reasons gets parentheses around. Oh, uh, so my suggestion with staying with the convention was not so bad, after all. Interpreter

Re: [fricas-devel] ==> or == with Exports or Implementation

Remark: FriCAS book say that '==' is "delayed assignment". This meaning should be considered obsolete now. Oh! Since you know best what == actually is, can you update the book in the respective sections? How does the meaning of == differ between FriCAS and Aldor? Ralf -- You received this

[fricas-devel] aldor build fails

Commit 92d33b9bf046eb33c00d6614cbd3bc822732714c failed with the build of libaldor.al. The problem seems to be the function name Pi in MathematicalSymbols. When I change for debugging in src/interp/ax.boot to axOpTran(name) == FORMAT(true,'"axOpTran [~S]~%", name) ATOM name => name

Re: [fricas-devel] Convertion of types to OutputFrom

With the new code I now get %%% (363) -> ((INT->String)::OutputForm) pretend SExpression (363) (PAREN (CONCAT Integer -> String)) Why have you added "PAREN" to the OutputForm? Isn't that too much? Furthermore, I see that you have changed the output in fmt1d and fmt2d for -> to be "->"

Re: Fwd: [fricas-devel] Extentions to symbols and strings

On 11/26/23 15:15, Waldek Hebisch wrote: Attached is code defining Greek symbols organized as a package. There is a trailing space at the end of the file. Another thing that I do not quite like is the function names of capital letters. I am not a fan of having Alpha, Beta, etc. since that

Re: [fricas-devel] qnew implementations

On 11/7/23 02:29, Waldek Hebisch wrote: Yes, exactly that is the point. qnew claims to return an object of type %, but, in fact, it doesn't. Well, result of 'qnew' is uninitialized, but this does not differ much from (note no initialization) a : T Maybe technically (i.e. how it is

  1   2   3   4   5   6   7   8   9   10   >