[fricas-devel] )SET-tings

2018-05-23 Thread Riccardo GUIDA
Hi My question: If one changes the default settings in the REPL by performing the )set ... command or implicitly via the hyperdoc menu, are these new settings automatically stored somewhere and reloaded at REPL restart or are simply forgotten at next REPL restart (so that to permanently

[fricas-devel] Re: Re: Some questions about Fricas

2018-05-23 Thread Riccardo GUIDA
@Erik: this might help, but the best is to take the time to read the fricas user guide (as I'm myself doing) ric fricas underlying language is strongly typed. You have to specify types (see f1,f2 below) or the interpreter will try to choose for you (see f3). Note that if you feed to f1 a

[fricas-devel] NIntegrate , arb, and FFI

2018-05-23 Thread Riccardo GUIDA
Hi again In fricasUG I cannot find mention of arbitrary precision numerical integration in 1D (NIntegrate in Mathematica.) Is this feature available? If not, have you ever thought (or, for lack of energies, at least dreamed) of interfacing fricas to some open source arbitrary precision C

Re: Re: [fricas-devel] )SET-tings

2018-05-25 Thread Riccardo GUIDA
Hi RalF I still prefer the original spelling of my name. Sorry, the suggestion of changing name was unintentional. There is no "ph" in plain Italian so to compensate I tend to put "ph" in place of "f" in all foreign names & words. I'm not interested in including such pictures into any

Re: [fricas-devel] NIntegrate , arb, and FFI

2018-05-23 Thread Riccardo GUIDA
Sorry, I've realized that numquad [1] works on Float and not only on machine doubles, not bad! Am I missing other quadrature packages (tanh-sinh, gaussian weights)? thanks ric [1] https://fricas.github.io/api/NumericalQuadrature.html?highlight=numquad -- (1) -> f(x:Float):Float ==

[fricas-devel] Re: weird behavior of a weird anonymous function.

2018-06-19 Thread Riccardo GUIDA
I tried also with more parentheses but same message (3) -> (():Void +-> {free x; x:=1; local y; y:= 1; output( sin(x+y)); output("ciao")})(());y sin(2) ciao y is declared as being in PositiveInteger but has not been given a value. (3) -> ( (():Void +-> {free x; x:=1; local

[fricas-devel] Dependent types in Fricas interpreter (input files)

2018-05-28 Thread Riccardo GUIDA
Hi, I have a couple of questions. 1) are dependent types supported by the interpreter (input files)? I feel like n in the image type of defFun below is really understood ... (1) -> )read dep-types defFun(n:PositiveInteger):SquareMatrix(n, Integer) == sample$SquareMatrix(n, Integer)

[fricas-devel] How to enter in multi-line mode?

2018-05-30 Thread Riccardo GUIDA
Sorry for the stupid question, (good for a FAQ) is a multi-line editing mode available when launching fricas from a linux shell? I cannot write "for" loops in more than one line. Thanks in advance, ric $ fricas (9) -> for i in 1..1000 repeat Line 1: for i in 1..1000 repeat

[fricas-devel] Thoughts on Float-s

2018-06-04 Thread Riccardo GUIDA
Hi, take these as mild suggestions... 1) I feel like if the current system of Float numbers as it is is quite user-unsafe (!) because it allows operations f(x,y) combining FloatS x,y with different number of digits resulting in the *highest* one (ie something like coerce a Float to higher

Re: [fricas-devel] Correctness

2018-06-01 Thread Riccardo GUIDA
One big source of bogosity is '$Lisp' calls. Some are valid because the call is access to a primitive operation otherwise unavailable in Spad. Some are valid because assumptions they make are are always satisified (like Lisp EQ implaing equality). But there are buch of bogus things. One is

[fricas-devel] Inaccuracies (?) in system help

2018-05-30 Thread Riccardo GUIDA
Hi, take this as a ?bug report There are weird built-in synonyms referring to un-documented (?obsolete) commands )compiler (with R) and )display dependents ric PS: Thanks @Kurt for his hints. 1) -> )what synonym - System Command Synonyms - ...

Re: Re: Re: [fricas-devel] unique Value of Void

2018-07-01 Thread Riccardo GUIDA
@Bill: If the else clause is missing but the if condition is false then the value of the if-then expression is the unique value of Void. +1 I think an important though somewhat less technical addition to the user guide concerning the meaning and use of the Void and Exit domains would

[fricas-devel] [BUG] scoping problems in interpreter (nothing really new)

2018-07-02 Thread Riccardo GUIDA
Hi, I'm now aware of the status of the interpreter in fricas: this is just for the record (fricas 1.3.4). fricas 1.3.4: interpreter bug on scopes similar the one reported in https://www.mail-archive.com/fricas-devel@googlegroups.com/msg12273.html (1) -> i:=1; for i in 1..3 repeat

[fricas-devel] Unexpected behavior of commas in singleton blocks {expression}

2018-06-26 Thread Riccardo GUIDA
Hi! I bet that the behavior I describe below is well known to fricas developers, but I report this because I find it fun and awful at the same time... 1) WARM-UP: IF I understand well, my UG's readings, SPAD and Aldor have **different semantics** for commas. N>=2 below. * in Aldor (expr1,

[fricas-devel] There are questions one should not ask...

2018-06-26 Thread Riccardo GUIDA
(18) -> typeOf(()) INFO: Control stack guard page unprotected Control stack guard page temporarily disabled: proceed with caution >> System error: Control stack exhausted (no more space for function call frames). This is probably due to heavily nested or infinitely recursive function

[fricas-devel] weird behavior of a weird anonymous function.

2018-06-19 Thread Riccardo GUIDA
Hi! I'm playing with a weird anonymous function (motivation below) and I'm stumbling on a weird error, like if information on a local variable y is exiting from an anonymous function, only in a specific case. I'm reporting this to you in case it was a bug. (1) -> (():Void +-> {free x; x:=1;

Re: [fricas-devel] Bugs in TransSolvePackage

2018-07-02 Thread Riccardo GUIDA
PS (6) -> solve(sinh(z)/cosh(z)=0,z) -- ??? AWFUL KO (6) [z = 0, z = log(- 1)] Type: List(Equation(Expression(Integer))) I mean, if log it is defined also on the axis |z| e^{i pi } than z=i pi should be ok, but what is bad is that one finds 0,1,2

[fricas-devel] Bugs in TransSolvePackage

2018-07-02 Thread Riccardo GUIDA
This is an improved revival of a 2007 bug [1] which seems still in good health (1) -> solve(tan(z)=0,z) -- OK (1) [z = 0] Type: List(Equation(Expression(Integer))) (2) -> solve(sin(z)/cos(z)=0,z) -- OK (2) [z = 0]

[fricas-devel] Fricas on SPAD vs Fricas on Aldor?

2018-07-02 Thread Riccardo GUIDA
Dear Waldek Could you comment on my (naive) thoughts & questions below? I use quotes for admittedly-unprecise terms. I'm pretty sure you've talked about this in the last decade, but the information is quite spread around in the list. Thoughts: * The Aldor compiler is an improved version of

Re: Re: Re: Re: [fricas-devel] unique Value of Void

2018-07-02 Thread Riccardo GUIDA
You seem to use different terminology. Spad is language of .spad files. They are intended for non-interactive use -- basicaly enhancements to FriCAS library. Spad is different than language of .input files. .input files are intended for interactive use. Now, with "interactive language" there

Re: [fricas-devel] Question on evaluation (2)

2018-02-05 Thread riccardo . guida
Dear Ralf, oldk1331 and Themos, thanks for your answers. I'll comment on/answer various points below and I'll make up a list of my impressions in another "constructive criticism" post. >That's an interesting skill set. May I ask how did you get in touch >with FriCAS? I heard about Axiom more

Re: [fricas-devel] Question on evaluation (2)

2018-02-05 Thread riccardo . guida
Hi again, just for reference, a simple and quite precise explanation of evaluation in a proposed variant of A^# called B^# is available here: [JenksTrager94] at p 39. The authors say that evaluation in B^# corresponds to scratchpad and Common Lisp, so I *hope* that it is what is used by

[fricas-devel] Impressions

2018-02-09 Thread riccardo . guida
Hi Ralf & oldk1331 asked me to detail my first impressions as a user approaching FriCAS. Below you'll find a reasoned (time-consuming) list where I tried to (fearlessly and pitilessly) pinpoint what appears to be "sub-optimal". Of course it migh well be that I'm missing some important point or

Re: [fricas-devel] Impressions

2018-02-11 Thread riccardo . guida
Dear Ralf having a status-of-the-project message somewhere in the official site would indeed be quite useful for new users. That said, your message transmits a feeling of sadness :) I advice you to be a little more positive, like eg: FriCAS is a relatively young project. There is a group of

Re: [fricas-devel] Impressions

2018-02-11 Thread riccardo . guida
Dear Andrey, Thanks for your reply. Below some additional explanations on my post. On 2/10/18 7:59:24 AM CET Andrey G. Grozin wrote: > On Fri, 9 Feb 2018, riccardo.gu...@gmail.com wrote: > > Well, by definition, NO user will ever manually compile a source code. > Well,

Re: [fricas-devel] Impressions

2018-02-15 Thread riccardo . guida
Dear Waldek, thanks for your explanation on FriCAS long term goals. Below a few, mild replies. > In general > you need to figure out what package manager given disto uses and what > flavour of packages it needs. That already two extra steps compared to > using a tarball (OK, using a tarball

Re: [fricas-devel] FriCAS status

2018-02-20 Thread riccardo . guida
Hello Waldek Wish: If you plan to release binaries, would it be possible to compile and release in some contrib directory also the binaries of Kurt Parentani's fricas_jupyter [1] ... if the code works and Kurt agrees, I mean. Regards Riccardo [1] https://github.com/nilqed/fricas_jupyter --

Re: [fricas-devel] Impressions

2018-02-15 Thread riccardo . guida
@oldk1331: >3. Online shell. I may produce a online shell similar to sympy in the next >few (3~6) months. ... nice, but it is not me who decides what is urgent or not. @oldk1331: >TeXmacs interface could provide more functionality than jupyter, >as the latter uses a web interface. I know

Re: Re: [fricas-devel] Using aldor FFI to link mathgl

2018-08-02 Thread Riccardo GUIDA
3) ~ (Naive || impudent) Funny fix! Thanks for your clarifications, Kurt. Riccardo PS ... and yes I dreamed of replace sman hyperdoc and graphics with Qt (+- mathgl) PS2: could you give a link to the asymptote wrapper? -- You received this message because you are subscribed to the Google

[fricas-devel] weird primitive

2018-08-02 Thread Riccardo GUIDA
Hi I was unable to get zero out of (3) , so I tried a trick in (4) (Waldek once wrote that integrate simplifies its input), but (4) is now positive for all positive a,b,x ... I'm confused... Riccardo (1) -> integrand:=1/(x^3*(a+b*x/sqrt(3))^(1/3)) 3┌─┐ \│3

Re: [fricas-devel] weird primitive

2018-08-02 Thread Riccardo GUIDA
After a rescaling of a and b, the fundamental theorem of calculus holds, uff :) But still (4) in my previous email was weird. ric (1) -> integrand:=1/(x^3*(a*9+b*x)^(1/3)) 1 (1) ─── 3 3┌─┐ x \│b x + 9 a

[fricas-devel] Buggy looking output form of a Type

2018-08-01 Thread Riccardo GUIDA
... unevaluated concat's in (3). Riccardo (1) -> gametes:=['AB,'Ab,'aB,'ab] (1) [AB, Ab, aB, ab] Type: List(OrderedVariableList([AB,Ab,aB,ab])) (2) -> segregationRates : List SquareMatrix(4,FRAC INT) := [matrix [ [1, 1/2, 1/2, 9/20], [1/2, 0, 1/20, 0], [1/2,

Re: [fricas-devel] question on using .fricas.input, it is not being read by Fricas

2018-08-03 Thread Riccardo GUIDA
No idea what is the problem but I reproduce the issue with Nasser erfc function. The macro erfc2 is taken into account and works. ric (1) -> )system cat /home/guida/.fricas.input )set output characters default macro %SIF(e) == unparse(e::InputForm) -- SPAD Input Form erfc(x) == 1 - erf(x)

Re: [fricas-devel] weird primitive

2018-08-03 Thread Riccardo GUIDA
Hi Waldek I've done some elementary tests to try to understand how FriCAS looks at n-rooths and log, but now I am even more confused. * (1) puzzles me: from your previous answer I have understood that (...)^(1/n) with n>1 was "mostly" seen by FriCAS as a multivalued and possibly complex

[fricas-devel] eigenvalues

2018-07-27 Thread Riccardo GUIDA
Hi does anybody know how to compute the eigenvalues of (1) -> m:= matrix [[%p, %i *%e],[-%i*%e,%pi^2]] ┌ %p %i %e┐ (1) │ │ │2 │ └- %i %e %pi ┘ with one of friCAS eigenvalues function? Thanks in advance, Riccardo -- You received

Re: [fricas-devel] Re: [fricas-devel] eigenvalues

2018-07-27 Thread Riccardo GUIDA
I see, thanks both of you! @Waldek What's wrong in trying to "honestly" convert eg Expression(Integer) to a Polynomial(Expression(Integer)) or a Fraction (Polynomial(Expression(Integer)))? 1) -> Expression(Integer) has Ring (1) true

[fricas-devel] Using aldor FFI to link mathgl

2018-08-01 Thread Riccardo GUIDA
Hi Quite dreamy, I was thinking at the conceptual possibility of writing a spad wrapper for the mathgl graphics library [1]. One could make spad-system-calls (systemCommand$MoreSystemCommands) sending scripts in mgl language to the mgl interpreter [2] (in the spirit of Bill's GnuDraw) or one

Fwd: [fricas-devel] Using aldor FFI to link mathgl

2018-08-02 Thread Riccardo GUIDA
Dear Kurt, a lot of infos: thanks! BTW A list of all FriCAS non-core packages available on internet would be quite helpful to new users, hope Ralf one day will add it to the github site (Kurt)> May certainly compete with mathgl regarding quality ;) I do not want to enter in graphics-lib

[fricas-devel] )set message bottomup on which function signature is selected?

2018-07-26 Thread Riccardo GUIDA
Hi! I'm using ')set message bottomup on' to understand coercitions and the selection of function signatures. (If you now a better way, please tell me). Problem: Which function is chosen when more then one choice is admissible? Eg: In the example below I understand that [1] and [2] at bottom

[fricas-devel] [FricasUG] Descriptions of rootOf(suv,x) and rootsOf(suv,x) seem, unhonored

2018-07-26 Thread Riccardo GUIDA
Mainly Ralf ... From https://github.com/fricas/fricas/blob/master/src/algebra/algfunc.spad#L14 rootOf : (SparseUnivariatePolynomial %, Symbol) -> % ++ rootOf(p, y) returns y such that \spad{p(y) = 0}. ++ The object returned displays as \spad{'y}.

Re: [fricas-devel] Re: [fricas-devel] )set message bottomup on which function signature is selected?

2018-07-26 Thread Riccardo GUIDA
Ralf wrote: Obviously, for the result, it wouldn't matter. Well, maybe obvious for you ... in absence of documentation and without reading the code I can imagine at least 3 ways of coercing x^10 + y -1 to a SparseUnivariatePolynomial(Exprression(Integer)): Calling ? the variable, (x^10+

[fricas-devel] zeroOf

2018-07-26 Thread Riccardo GUIDA
Hi The function zeroOf(p) zeroOf(p,x), with p a polynomial at first sight seems more harmful than useful: if there are no radical solution to p=0 it should be equivalent to rootOf, which return a generic solution, while if there are radicals solution it returns one solution (which one?).

[fricas-devel] Re: Re: Expressing erf as cumulative normal

2018-07-25 Thread Riccardo GUIDA
IIUC there is a misprint in both previous emails: %x in the LHS of the rule should be replaced by x as in the RHS. ric (1) -> N := operator 'N (1) N Type: BasicOperator (2) -> phirule := rule erf(%x)==2*N(x*sqrt(2))-1 -- BAD

[fricas-devel] Re: Error detected within library code:, index out of range

2018-07-17 Thread Riccardo GUIDA
Hi Kurt As FriCAS exercise of the day, I tried to understand the source of your bug but the best I can do is a minimal example (vaguely related to the original one) and similar errors. I do not know what mean "non extending category" and "has no ..." compilation messages but there were

Re: Re: [fricas-devel] Re: Error detected within library code:, index out

2018-07-19 Thread Riccardo GUIDA
Hi If using A == Test(SL) with (in package PTEST): IIUC Test(SL) is a domain: is it legal in SPAD to use a domain in the LHS of a 'with' statement? (In Aldor it is not, "the LHS is an optional 'Category'-valued expression", see AldorUG sec 7.9) ric -- You received this message because you

[fricas-devel] BUG: viewpoint$ThreeDimensionalViewport + METAPATCHES + SUGGESTED FEATURE

2018-07-19 Thread Riccardo GUIDA
I'm sorry I do not yet have a developer framework setup (virtual machine, git ...) so you must content yourselves with an untested METAPATCH. ric PROBLEM: Crazy behavior of viewpoint function invoked by command line. BUG: Evident confusion among radians and degrees in the implementation of

Re: Re: [fricas-devel] interesting error in integration

2018-07-24 Thread Riccardo GUIDA
This is old confusion between real and complex. We create Complex(Complex(Integer)) and loose. Naive question: is it not possible/enough to define Complex(R) to be R if R = Complex (S)? -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra

[fricas-devel] interpreter (command line): syntax of "rule"

2018-07-05 Thread Riccardo GUIDA
Hi I do not understand how the syntax rule sin(x) == x -- see (1) below is accommodated to fit in the signature (EXPR(INT), EXPR(INT)) -> RULE(INT,INT,EXPR(INT)) see fricas message below In other words: in (1) I do not see a call to a function "rule" of two parameters, rule(f,g): what's

Re: Re: [fricas-devel] interpreter (command line): syntax of "rule"

2018-07-05 Thread Riccardo GUIDA
The escape symbel _ is necessary in order to defeat the magic. Great, many thanks Bill! I saw the API for RewriteRule and I was willing to try these functions, but I was unable to defeat interpreter's magics. riccardo -- You received this message because you are subscribed to the Google

[fricas-devel] Intepreter: type declaration ignored in == AND: BOOT::|sayFunctionDeps| is undefined.

2018-07-10 Thread Riccardo GUIDA
Hi Command line interpreter: I realize that type declaration is ignored in delayed assignment == even for variables (see [1] for a similar behavior for functions) Same behavior from .input file. AND At the same occasion I get a weird system error in )display properties, which might interest

[fricas-devel] [BUG]: draw option unit == [a,b] ignored

2018-07-11 Thread Riccardo GUIDA
Hi, IIC the user guide the draw option unit==[0.2,0.2] should add ticks to the axes x and y, but I cannot see anything. Try eg: draw(sin(11*x),x = 0..2*%pi,toScale == true,title == "Drawn to scale") draw(sin(11*x),x = 0..2*%pi,toScale == true,title == "Drawn to scale and unit",

Re: [fricas-devel] Intepreter: type declaration ignored in == AND: BOOT::|sayFunctionDeps| is undefined.

2018-07-11 Thread Riccardo GUIDA
Hi, thanks for the feedback. [Bill]> Although this terminology is used in a few places, "... a few places"? Well, I would say "almost everywhere": Jenks Sutor vol 0, hyperdoc, fricasUG, mathaction ... [Bill]>I do not think it [Bill]> is correct to call == delayed assignment. Rather it only

Re: Re: [fricas-devel] [BUG]: draw option unit == [a,b] ignored

2018-07-11 Thread Riccardo GUIDA
[Grabmeier]> you must make sure that in the control panel you have "units on" and you [Grabmeier]> possibly have to scale the size of the window in order to have space for [Grabmeier]> tick labelling. Aha, thanks Johannes!!! Units was off: the following works (2) -> vp := draw(sin(11*x),x =

[fricas-devel] interpreter (command line): weird syntax allowed for function of function

2018-07-06 Thread Riccardo GUIDA
Hi, T,T2,T3 below are meant to implement the same map that takes a function x+->f(x) and returns a function x+->x+f(x), both functions of signature Integer->Integer. I understand the syntax of the assignments to T, T2 below, but I would have been happier to get back a "syntax error" after

[fricas-devel] FricasUG metapatch: 7 and )set functions cache all all

2018-07-07 Thread Riccardo GUIDA
Mainly for Ralf... -- https://github.com/fricas/fricas/blob/master/src/doc/htex/ug06.htex#L894 REPLACE: What is the value for \spad{n = 7}? BY: What is the value for \spad{n = 3}? MOTIVATION: The line below contains facto(3)

[fricas-devel] System error: The value |RandomFloatDistributions| is not of type SEQUENCE

2018-07-13 Thread Riccardo GUIDA
Hi 2 problems: 1) I can't understand why the function randomGraph defined in drawPoints2.input is not find in the same file. Same behavior with drawPoints.input which has a more functional style in the use of $. 2) Trying to debugging I've met a system error that might interest the

[fricas-devel] Re: System error: The value |RandomFloatDistributions| is not of type SEQUENCE

2018-07-13 Thread Riccardo GUIDA
PS: If I compile my poor function I get "Apparent user error"... (1) -> )compile RandomGraph.spad Compiling FriCAS source code from file /data/devel/guida/WIP/fricas_learning/RandomGraph.spad using old system compiler. RANGRAPH abbreviates package RandomGraph

Re: Re : [fricas-devel] [BUG]: draw option unit == [a,b] ignored

2018-07-12 Thread Riccardo GUIDA
Ralf 1) Many graphs in chapter seven FriCAS UG do NOT correspond to what announced in the text (I was preparing a list of patches but you anticipated me). In 2D graphs this is due to a missing 'title=...' in the invoked command draw and also due the fact that 'unit=...' shows nothing

[fricas-devel] [FriCASUG +API] metapatches on 2D graphs

2018-07-12 Thread Riccardo GUIDA
Mainly for Ralf ... -- https://github.com/fricas/fricas/blob/master/src/doc/htex/ug07.htex#L154 REPLACE: \spadgraph{draw(sin(tan(x)) - tan(sin(x)),x = 10..16)} BY: \spadgraph{draw(sin(tan(x)) - tan(sin(x)),x = 10..16,title=="A title here")} MOTIVATION: A title

[fricas-devel] FricasUG metapatch: palindromes and eirule

2018-07-09 Thread Riccardo GUIDA
Mainly for Ralf... -- https://github.com/fricas/fricas/blob/master/src/doc/htex/ug06.htex#L2410 REPLACE: (s.i = s.j) and palAux?(s,i+1,i-1) BY: (s.i = s.j) and palAux?(s,i+1,j-1) MOTIVATION: IIUC, presently the function palAux? declare palindromes aggregates having equal

Re: Re: Re: [fricas-devel] weird primitive

2018-09-12 Thread Riccardo GUIDA
PS: * Lapsus: in 1) replace "differential algebra" by "differential field" (*-commutative, those used by "Risch... alg"). Sorry for the confusion * I forgot a question: 6) for which domains of a and x is true that x^a = e^{a log(x)} (in FriCAS, I mean)? When this is (automatically) used? I

[fricas-devel] FriCAS packages in Linux

2018-02-27 Thread riccardo . guida
Hi, For the record, a page listing Linux distributions/repositories with FriCAS packages and their versions: https://repology.org/metapackage/fricas/versions ric -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To

[fricas-devel] CAS integration tests

2018-04-24 Thread riccardo . guida
Hello again. I write the question here because I think that Nasser Abbasi is in the list and maybe he could comment on this topic that in my view is quite important for FriCAS. I was eager to know the results of Nasser's test [1] with Rubi' integration suite, which includes Maple,

Re: [fricas-devel] FriCAS contribution

2018-04-24 Thread riccardo . guida
Hi to all. Let me clarify my point of view on the question raised by Ralf' post @Waldek: please take it as friendly, constructive criticism. Maybe I'm wrong, but following the exchanges in the fricas-devel list I've got the impression that development proceeds in a suboptimal way due to a lack

Re: [fricas-devel] Re: sbcl-1.4.5 causes problems

2018-03-02 Thread riccardo . guida
https://git.wiki.kernel.org/index.php/GitSvnCrashCourse :) -- You received this message 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] Re: [FricasUG] FIXME: sec 2.5.2 pag 96 osolete description & Feature suggestion for Union-s

2018-06-28 Thread Riccardo GUIDA
Sorry, I retract my feature suggestion because Union with selectors are there also in Aldor and with more features that make such selectors more meaningful: i.e. assignment via selector, like u := [num == 3]. RiCCardo -- You received this message because you are subscribed to the Google Groups

[fricas-devel] [FricasUG] FIXME: sec 2.5.2 pag 96 osolete description & Feature suggestion for Union-s

2018-06-28 Thread Riccardo GUIDA
Hi, if this is not the correct place for sending FricasUG fix requirements, please excuse me and let me now. RiCCardo [FricasUG] FIXME: sec 2.5.2 "Union-s with selectors" pag 96 "Note that case uses the selector name as its right-hand argument. If you accidentally use the branch type on the

Re: Re: [fricas-devel] unique Value of Void

2018-06-29 Thread Riccardo GUIDA
Hi, Thanks for your clarifications Bill. Just to say that my original question to Ralf was a much more low level quest for clarifications in the user guide: 1) A user reads: section 5.3 pag 149 "An if-then-else expression always returns a value. If the else clause is missing then the

Re: Re: [fricas-devel] weird primitive

2018-09-11 Thread Riccardo GUIDA
Dear Waldek thanks for having immediately sent the *summary* of the note I've asked ... now I'm eager to read the forthcoming full note with its details ;) Well, apart from jokes, I've not re-replied immediately because I've spent some time digging in old mails of this list trying to grasp the

Re:Re: Re: [fricas-devel] weird primitive

2018-09-12 Thread Riccardo GUIDA
Waldek: Unfortunately no. You have equalty when additionaly real parts of z1 and z2 are nonnegative. But in whole D things are "interesting". Your claim (1) shows that principal branch creates traps that normal users do not see. So "familiar" should be taken with grain of salt. Upss

[fricas-devel] friCAS API: weird eval signature?

2018-09-17 Thread Riccardo GUIDA
Hi to all. This is mainly for Ralf. In http://fricas.github.io/api/FunctionSpace.html#l-function-space I read: eval: (%, List Symbol, List NonNegativeInteger, List List % -> %) -> % if R has Ring eval(x, [s1, ..., sm], [n1, ..., nm], [f1, ..., fm]) replaces every si(a1, ..., an)^ni in x