ae52a487873e907705a529a27cc66bc6 Mon Sep 17 00:00:00 2001
From: Ralf Hemmecke
Date: Thu, 4 Jul 2024 17:38:11 +0200
Subject: fix rootFactor function to apply recursively
rootFactor did not apply the transformations recursively inside root
expressions
This patch assumes that in rootkernels
There is a redundant line in the code, or is this doing something?
pol_root(p : P, op : OP, n : N) : F ==
cp : R := content(p)$P
cp::F<--
pp := (p exquo cp::P)::P
fp_root(factor(pp)$MPfact, op, n)
On 7/4/24 03:23, Waldek Hebisch wrote:
To comply with the our license, they should have text of the
license _somewhere_. Recursive grep for 'Numerical ALgorithms Group'
should find it (unless it is really obfuscated in some way).
Yes, that is also how I read the license terms. The contents of
The following session surprised me.
%%% (1) -> e7:=nthRoot((3*sqrt(7)::Expression(INT)+2*sqrt(3))/sqrt(3),3)
+---+
| +-+ +-+
|3 \|7 + 2 \|3
(1) |---
3| +-+
\| \|3
Type:
On 7/3/24 12:19, Qian Yun wrote:
Well, generally this feels a bit strange on multiple levels:
1. they use such an old version
2. they don't send bugs or upstream fixes to us
Citing item 2 of our Licence.txt
- Redistributions in binary form must reproduce the above copyright
notice,
On 7/3/24 21:01, Waldek Hebisch wrote:
I mean giving paths to source tree. In the past just compiling things
would modify source tree (I hope that this is fixed now), so that
was part of the reason.
OK. But since my sources are a git repository, I would realize if there
suddenly would be
On 7/3/24 18:19, Waldek Hebisch wrote:
And yes, if I try to compile 'fspace.spad' using similar command to yours
(I never compile things in source directory which you did),
Do you mean ")sys pwd" in my case showed
/home/hemmecke/g/fricas/src/algebra/ ?
That is not true. I was
On 7/3/24 18:32, Waldek Hebisch wrote:
On Wed, Jul 03, 2024 at 05:21:59PM +0200, Ralf Hemmecke wrote:
%%% (156) -> h := operator 'h
(1) h
%%% (2) -> (h(x)::OutputForm pretend SExpression)
(2) (h x)
The above would need seprate fix.
Oh, no, what I meant by this was that th
Hi Waldek,
I just got the latest commits. I still have FriCAS compiled from
afedede66703871b24eb5cb8383d962d8aec05b3.
Now I get
%%% (327) -> )co /home/hemmecke/g/fricas/src/algebra/fspace
Compiling FriCAS source code from file
/home/hemmecke/g/fricas/src/algebra/fspace.spad using old
Hi Waldek,
Your patch gives good visual results, but I do not think that it is
logically right.
%%% (156) -> h := operator 'h
(1) h
%%% (2) -> (h(x)::OutputForm pretend SExpression)
(2) (h x)
%%% (3) -> function(sin x, 'f, 'x)
(3) f
%%% (4) -> f :: OutputForm pretend
I am not a big fan of how this color ((red)) is used.
Greg, can you be a bit more specific?
All this color stuff in my invention and certainly not a very clever
one. There are, for example \spadfun, \spadop, that use different
colors. I'am not sure myself that this is a good choice. Then
It looks like smpeval
smpeval(p, lk, lv) ==
map(x +-> match(lk, lv, x,
notfound((z : K) : % +-> map(s +-> eval(s, lk, lv), z),
lk))$ListToMap(K, %),
y +-> y::%,
p)$PolynomialCategoryLifting(IndexedExponents K, K, R, MP, %)
is
I do the following:
Search for Constructor "Expression" in the Browse window of HyperDoc.
Enter R=Integer.
Klick on "Operations", then "eval", then "Implementations.
At the 4th bullet I see "by domain FunctionSpace&(%, Integer):".
That puzzled me a bit, because the sources say:
I wonder whether rootSplit in manip.spad is implemented correctly.
rootkernels l == select!((z1 : K) : Boolean +->
is?(operator z1, 'nthRoot), l)
rootSplit x ==
lk := rootkernels tower x
eval(x, lk, [rootExpand k for k in lk])
rootExpand k
riable can then be
used to automate that sphinx stuff. So all version stuff just in
configure.ac.
What do you prefer?
Ralf
On 6/30/24 18:25, Ralf Hemmecke wrote:
PS: In fact, there is also a missed version change in citation.rst.
@Misc{FriCAS,
key = {FriCAS},
author = {{FriCAS team}}
On 6/30/24 14:35, Qian Yun wrote:
I missed this bug during testing because this happens with
"make -j1 book", not "make -j8 book".
Do you agree that following patch fix this?
I haven't tested, but it looks good to me.
I hope for the next release, I'll have code to generated these
Hi Andrey,
I assume you do "make clean book" in the build directory and you are not
building in the source directory.
Anyway, can you do the following
cd FRICASBUILDDIR
cd src/doc
rm -rf tmp/ribbon* stamp-ug* vp-*
make book | tee make-book.log
Please make this log available to us.
I guesss
On 6/29/24 03:50, Waldek Hebisch wrote:
I looks that all changes to book build are now commited, right?
Yes, I have no relevant stuff in my waiting list.
Go forward with the release.
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer
On 6/28/24 20:40, Waldek Hebisch wrote:
I get the following message:
warning: CRLF will be replaced by LF in src/doc/png/2Dctrl.png.
and several similar messages for other .png files.
When do you get this and on what type of machine.
I am affraid that 'text: auto' is to blame, the files
ch in your first commit.
Ralf
--
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+unsubscr...@googlegroups.com.
To vi
Hi Qian,
On 6/23/24 16:01, Qian Yun wrote:
> Commit G should be merged with commit B.
I think you did it correctly.
> But I still think target "viewports" should not depend on
> target "stamp-book-viewports"
OK, let's try without that dependency. The book-pdf target depends on
the
On 6/23/24 17:45, Waldek Hebisch wrote:
I have small comments to other parts. On page 1 in section
Authors we should add Qian Yun.
OK, that is new commit S then.
The 'update list of required latex
packages' commit leaves 'mleftright' in INSTALL (IIUC it is no
longer needed).
Thank you for
On 6/22/24 23:54, Waldek Hebisch wrote:
There are still a few places where lines do not break.
You mean: places where lines do not break now but did in previous
version?
Of course not. Now more places are resolved. And only about 10 or so are
left. These places are connected to long
On 6/21/24 00:29, Ralf Hemmecke wrote:
I've pushed yet another update to
https://github.com/hemmecke/fricas/commits/new-ps-book-rhx
The line break problem in connection with parentheses is now gone.
There are still a few places where lines do not break.
One case is too long integers of floats
I agree that without points graphs look nicer.
Certainly.
But points may give valuable information, in particular heavy
concentration of points indicates numerical instability (bad
conditioning). And of course points tell you which values were
computed and which are merely interpolation.
I
According to
https://github.com/fricas/fricas/blob/master/src/algebra/variable.spad#L58
the argument f is a symbol. I think that the output function is not perfect.
coerce(r : %) : OutputForm == outputMapTran(f, r)$Lisp
It leads to
%%% (409) -> function(sin(x*y), 'g, 'x, 'y)
%%% (411) ->
It is somewhat related to the production of the book, but it is an issue
maybe deserves its own thread.
When running
vp:=draw(cos(5*t/8),t=0..16*%pi,coordinates==polar)
the output is the picture from chapter 1.4 of the book.
What bothers me, is the visible red dots. Maybe these points are
I've pushed another update to
https://github.com/hemmecke/fricas/commits/new-ps-book-rhx
What actually still bothers me a bit is that breqn does not break some
output. I seem to have found the reason. Obviously the mleftright
package does not play nicely with breqn. I basically introduces
On 6/20/24 04:12, Qian Yun wrote:
Thanks for your commit for reducing space around
AlgebraOutput/MessageOutput/TexOutput.
You should tweak the value a bit, I see AlgebraOutput and
TexOutput overlap a bit.
Do you have a particular place where that is apparent?
Or do you rather mean that
Building hyperdoc should not require epstopdf.
Ah, yes, of course.
This is caused by "viewports" requires "stamp-book-viewports",
which should not be the case?
No that is OK, but I put too much under stamp-book-viewports.
The call to epstopdf should only occur during 'make book'.
I'll
Qian, can you add a line to also install epstopdf into the github CI
environment. Otherwise my new patches break github CI.
2024-06-19T20:37:53.7717736Z /bin/bash: line 1: epstopdf: command not found
Thanks
Ralf
--
You received this message because you are subscribed to the Google Groups
Hi Qian,
I now rebased also your other commits (with the necessary adaptations)
because of my previous commit and added also some modifications to get
rid of tex2tex.awk.
The top commit also removes the space before TeXOutput and the line with
the type.
Hi Qian,
I've now created a new-ps-book-rhx branch in my github repo.
https://github.com/hemmecke/fricas/commits/new-ps-book-rhx
I've built that on top of your "generate book with ps image" commit from
your new-ps-book branch.
Since I rewrite quite some stuff from your commit, it is
erent from reading a file?
It's not a big deal, but I would like that virtually a jupyter cell can
be considered as a file, that is read by fricas.
Ralf
On 6/12/24 20:53, Ralf Hemmecke wrote:
Interesting that I had to look into i-bugs.input in order to find
how to work with the )if dire
Hi Qian,
I just see, that in your "support build with pdflatex"
commit, you have basically replaced all the \special commands by
\includehyperdoc. That's good.
I think we should even extend that command like that
\newcommand{\includehyperdoc}[2]{%
\begin{figure}[htbp]
\begin{center}
On 6/14/24 14:39, Qian Yun wrote:
\xtc: show command, execute command, show result
\psXtc: show command, execute command, don't show result
\noOutputXtc: show command, execute command, don't show result
\nullXtc: show command, don't execute command
Very well described.
I
I am looking at your "generate book with ps image" patch.
For this workaround, I have to add a new environment "psxtcnooutput"
in htex2input.awk and discard it by "skip-graphics.awk" for normal
spool file generation.
My feeling is that this is not necessary. I even do not quite
understand
Interesting that I had to look into i-bugs.input in order to find
how to work with the )if directive and learn about ")assert".
)assert blah
)if blah
print "blah"
)else
print "foo"
)endif
Unfortunately, I am a bit reluctant to use undocumented stuff.
Any idea where such documentation could go
Hi Qian,
why do you need to rewrite the -eval into a pipe?
@@ -502,6 +500,6 @@ ${GEN_VIEWPORTFILES_PHT}: %.pht: %.ht
${INPUT_EXTRA_INPUT} ${SMAN} \
mobius.VIEW: ${inputsrcdir}/mobius.input
(unset DAASE; FRICAS=${FRICAS}; export FRICAS; \
- FRICAS_INITFILE='' ${XVFB} \
-
Qian, in commit c9fff275a09df57039b2e9646d30c4fc158744a9
"support build with pdflatex"
the removal of the commented-out-section
%\head{subsection}{Browse Options}{ugBrowseOptions}
in ug14.htex should perhaps also included in this 'fix chapter 14
"Browse"' patch.
That all is anyway
Also, is the patch 'fix chapter 14 "Browse"' good to go in?
+1
Ralf
PS:
Please keep you new-ps-book branch updated (i.e. rebase it).
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop
The problem is that the debugging output does not have a newline
at the end, causing "-- \begin{AlgebraOutput}" to not start at
beginning of a line.
Oh. I must check what actually happens without tex2tex.awk. Perhaps can
do so tonight.
Also the debugging output is one very long line, it
I would still like that the change from \xtc to \noOutputXtc in
REGSET.htex is not included.
https://github.com/fricas/fricas/commit/0ab9749f0faff760bc998235436584553b67b3f3#diff-36d4a3eafe860f579e9d7b4a2c0e732dd439947d53137c78aa5bae8d5a4330f5L381
The reason is that I would still like to see
Dear Qian,
I studied your commit
"fix display issue of "output" in book section 6.19"
https://github.com/fricas/fricas/commit
/0ab9749f0faff760bc998235436584553b67b3f3
That looks quite good.
I would still like that the change from \xtc to \noOutputXtc in
REGSET.htex is not included.
s compiling when you are lucky.
I try to investigate the patches now. Some seem acceptable, but I think
piping the generated (from .htex) .input files through fricas (i.e.
sman) instead of directly to FRICASsys causes all the problems with
hanging compilation or truncation of output.
Ralf
hemmec
On 6/10/24 20:34, Waldek Hebisch wrote:
I would like to do new release in June. I would like to include
Qian work on HyperDoc and the FriCAS book, that is main thing
that needs to be resolved before release.
I am looking at Qian's stuff.
Unfortunately, the new release will break the
eb visit
https://groups.google.com/d/msgid/fricas-devel/3840-3d32-4d86-847e-69e227be99f2%40hemmecke.org.
From a37c9ef382b7349117396c8c6cbc4af8083c6e3c Mon Sep 17 00:00:00 2001
From: Ralf Hemmecke
Date: Wed, 5 Jun 2024 10:23:57 +0200
Subject: docfix postcondition of symmetric
On 6/1/24 06:56, oldk1331 wrote:
Hmm... cannot we also have something like this -paste option
for the .ps file generation?
To Ralf: we can, but we also decided to decouple book generation
with hypertex pages generation.
I somehow meant that there is another option that is passed to the
On 5/30/24 13:43, Qian Yun wrote:
> The "sman -paste" invocation of "hypertex" does not have this problem
> because it uses only socket IO to FRICASsys, it's purely sequential.
Hmm... cannot we also have something like this -paste option for the .ps
file generation?
We could also avoid the
How to handle for example \asin or \sin ^{-1}(a) in LatTeX.
That sounds like a LaTeX question you probably want a connection to
FriCAS. No?
No. Think of jFriCAS and )set output tex on.
I would claim, that ")set output tex on" in jFriCAS is not a very good idea.
Why not outputting LaTeX
How to handle for example \asin or \sin ^{-1}(a) in LatTeX.
That sounds like a LaTeX question you probably want a connection to
FriCAS. No?
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this
Hi Greg,
You now get a more personal view from my side.
I am wondering what is the use of the 'latex' function in FriCAS.
Nothing, currently. I have no idea about the history, but I do not see
much use of it now.
You could actually think of this: each element "know" how it should be
On 5/29/24 16:51, Waldek Hebisch wrote:
We should understand what is happening. As I wrote, HyperDoc and
graphics protocal is inherently racy, but in previously it worked
relatively well.
Well, the difference is that the hyperdoc pictures are built with
${GEN_VIEWPORTFILES_PHT}: %.pht: %.ht
On 5/29/24 11:24, Qian Yun wrote:
Do you think this is a problem that needs to be fixed before commit?
If I had something to say, I would like to solve that problem once and
for all. Would it be too hard to synchronize the writeout of files by a
temporary file on hard disk (or some cheaper
unitNormal x ==
zero? x => [1, x, 1]
one? x => [1, 1, 1]
re := real(x); im := imag(x)
re > 0 =>
--im >= 0 => [1, x, 1]
im > 0 => [1, x, 1]
im < 0 => [-imaginary(), complex(-im, re), imaginary()]
im <= 0 => [-1, -x, -1]
I've tried to compile the file directly. It seems that I am right that
Aldor cannot handle % in the arguments of a category. :-(
Peter, do you have any idea what can be done about it?
Ralf
/dev/shm/hemmecke/fricas/b/src/aldor$ make
make -f Makefile2 aldor_srcs="lang minimach boolean0 axextend
The commit below causes the compilation of the FriCAS-Aldor interface to
fail.
The last lines of the log are...
ar: creating al/libfricas_ES.al
ar: ao/ESC2.ao: No such file or directory
make[1]: *** [cliques.mk:3978: al/libfricas_ES.al] Error 1
rm ao/.dir
make[1]: Leaving directory
This is regular '%display' property, set in BasicOperator.
Ah. Cool.
And just for reference...
The property is defined in op.spad like this.
dfact x == postfix("!"::Symbol::O, (ATOM(x)$Lisp => x; paren x))
The following code will then print "factorial(n)" as factorial(n).
Thanks!
Ralf
On 5/18/24 20:15, Waldek Hebisch wrote:
On Sat, May 18, 2024 at 08:00:05PM +0200, Ralf Hemmecke wrote:
Does FriCAS have some routine for simplifying such factorial expressions?
(-n^3-3*n^2-3*n-1)*n!^3*(3*n)!*(6*n+6)!+(1728*n^3+2592*n^2+1104*n+120)*(n+1)!^3*(3*n+3)!*(6*n)!
ff1
H, am somehow unable to find where the transformation to the
SExpression below happens. Does that have to do with '%specialDisp?
But even then I could not find a special treatment for 'factorial.
Background of this question.
I actually wanted to tweak Format1D locally so that it prints
Does FriCAS have some routine for simplifying such factorial expressions?
(-n^3-3*n^2-3*n-1)*n!^3*(3*n)!*(6*n+6)!+(1728*n^3+2592*n^2+1104*n+120)*(n+1)!^3*(3*n+3)!*(6*n)!
Thanks,
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra
I did not look at relevant code, but IIRC some graphic texts
mentioned "smoothing" by adding noise-like irregularities.
If "smoothing" is understood in such sense, then square
pixels go against this spirit and slant may be deliberate.
Or possibly orginal author experimented with various effects
Just some more observations...
That the following expression
r :=
(884*sqrt(5)-1975)*sqrt((-sqrt(-1680827885637599232000*sqrt(5)-3758445410853165465600)-2239742361600*sqrt(5)-500825088)/2)
I get for
s := recursiveRootSimplification(r)
the value shown after the = sign, but
Dear Wakdek,
your recent contribution of rsimp is not totally satisfactory to me,
since it applies only to expressions that start with an 'nthRoot
operator. It's a good service function, but I wanted something that also
applies to combinations of such expression. So I wrote the following
Waldek,
you are amazing!!! A big thanks for the radicalSolve patch.
Ralf
On 5/16/24 15:12, Waldek Hebisch wrote:
On Tue, May 14, 2024 at 03:04:15PM +0200, Ralf Hemmecke wrote:
In fact, the value xx is one of radicalRoots(pp) where
pp :=
x^4-2729960418308000*x^3-39525843924335225*x^2
On 5/16/24 14:00, Waldek Hebisch wrote:
Yes, this is limitation of current compiler. It would be relatively
easy to allow more general conditions, but important part of
current handling involves inference and inference is only
implemented for 'has' and boolean combinations of 'has' conditions.
Further experiments. It seems that the name "coerce" is treated
differently by the compiler.
You can compile the attached program with "xxx ==> bar", but not with
"xxx ==> coerce".
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra
Does anyway see, why there is a compilation problem with the attached file?
I get the following error.
%%% (301) -> )co ../foo
Compiling FriCAS source code from file
/home/hemmecke/backup/git/qeta/tmp/../foo.spad using old system
compiler.
FOO abbreviates package Foo
When I compile the attached program, I get the error below. Does that
mean that I cannot use "if C is Integer then ..." in the category part
of a domain?
Ralf
%%% (295) -> )co ../foo.spad
Compiling FriCAS source code from file
/home/hemmecke/backup/git/qeta/tmp/../foo.spad using old
Maybe this might also be connected.
http://fricas.github.io/api/XHashTable.html
The Key can be any Hashable type.
Ralf
--
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
For a given fn of type FileName I cannot simply say
fh := open(fn, "output")
if the folder directory(fn) does not yet exist.
I haven't found any other way than using
systemCommand("system mkdir -p " directory fn)$MoreSystemCommands
. Is there a more OS-independent way to create a
Thank you, Waldek,
that explains the behaviour much better. I suspected that there must be
some numerics involved, but when I had put debugging output near places
where I saw Float-s, that never appeared, so I got a bit confused and
didn't want to waste more time on this.
Potentially, I
On 5/15/24 01:21, Qian Yun wrote:
One possible explanation:
)compile a spad file clears internal Kernel cache.
So the following computation can have messed up Kernel order.
So after compiling a spad file, do not use kernels created before that.
OK, that explains some of the oddity, but not
Some more experiments with the imaginary part...
Can someone reproduce/explain the strange behaviour of the attached script?
Please modify the path to efstruc.spad accordingly.
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra
Trying
pp :=
x^4-2729960418308000*x^3-39525843924335225*x^2-554995209477163915*x-34536365622665802676562500
xxx := radicalRoots(pp,'x)$RadicalSolvePackage(INT)
x4 := xxx.4
)set mess bot on
in a fresh session gives
%%% (14) -> imag(x4)
Function Selection for imag
Admittedly, it might be difficult to extract the imaginary part of a
radical expression. But that seems to look like a bug.
%%% (412) -> xx :=
On 5/12/24 16:01, Waldek Hebisch wrote:
OutputForm was designed so that operators are Symbol-s and
dealing with operators should use opearations from Symbol.
fmt.spad essentially treated operators as strings (they were
immediately converted to strings and resto of code used
string operations).
On 5/8/24 03:10, Waldek Hebisch wrote:
I see, you are right, the one in "viewWriteAvailable" is wrong.
AFAICS '\spadfunFrom' does not work inside 'description' environment.
There are 3 other uses like this, in ug07.tex inside section
'Operations for Three-Dimensional Graphics'.
Yep. What have
On 5/7/24 13:51, Qian Yun wrote:
Some decisions need to be made in order to build book with pdflatex.
1. src/doc/ps/ images.
These are hyperdoc images. They are in ps format, but actually are
bitmap images. pdflatex can't handle ps format directly, so I
suggest to convert them into png
On 5/7/24 13:22, Grégory Vanuxem wrote:
)set output algebra off
)set output formatted on
LOFC ==> List(OutputFormatterCategory)
setFormats!([Formatter Format2D] pretend LOFC)$FormattedOutput
pile(["long string", "another long string"])$OutputForm
It requires switching off algebra though,
is present in a string. Next, it's outputString in i-output.boot that
needs a little tweaking for me. In fact, I've bypassed the part of the
code that breaks lines.
Well, you could set the output length to the maximum.
)set output length 245
There is also another option use Format2D.
)set
I don't understand when I look on page 242 of
https://fricas.github.io/book.pdf, then I see a red "write".
I hope that \spadfunFrom can be turned into hyperlinks to
fricas.github.io/api when we use pdflatex.
Ralf
On 5/6/24 14:29, Qian Yun wrote:
In page 242 of book.pdf (from 1.3.10
The question is whether % refers to the value of the last line (A) or to the
value of the last evaluated expression (B).
Mathematica and Axiom use semantics (A), Maple uses (B).
I expected (B), i.e. x3=102.
Well, 'x2 := 2*%; x3 := 100+%;' is a single expression, so really
no difference in this
On 5/6/24 20:29, Waldek Hebisch wrote:
On Mon, May 06, 2024 at 07:33:13PM +0200, Ralf Hemmecke wrote:
Who can guess what the output of (3) will be just from Section 1.3.2 of the
Book?
%%% (1) -> x1 := 1
(1) 1
Type: PositiveInteger
%%% (2) -&
Who can guess what the output of (3) will be just from Section 1.3.2 of
the Book?
%%% (1) -> x1 := 1
(1) 1
Type: PositiveInteger
%%% (2) -> x2 := 2*%; x3 := 100+%;
Type: PositiveInteger
%%% (3) -> [x1,x2,x3]
This time the following error shows. And indeed 23DColB.ps is nowhere to
be found.
Ralf
LaTeX Warning: File `23DColB.ps' not found on input line 612.
tmp/ug07.tex:612: LaTeX Error: File `23DColB.ps' not found.
See the LaTeX manual or LaTeX Companion for explanation.
Type
Qian,
I can only test later, but your analysis sounds reasonable.
And since thise milliseconds would be added for the book only, your
patch would only affect the building of the book. I think that would be
acceptable.
I come back after testing.
Thanks
Ralf
--
You received this message
On 5/5/24 16:16, Waldek Hebisch wrote:
Testing recent patch by Qian I got 'view3D' which showed empty
window and used 100% of a core. A little investigation using 'gdb'
shows that this 'view3D' was trying to exit. This was triggered from
a signal handler: 'view3D' received a signal (SIGTERM I
Qian,
you should also replace epsf by graphicx in
src/doc/sphinx/source/install.rst.
In fact, any traces of ImageMagick (Makefile.in and install.rst) should
be remove.
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system"
> After I tried
> make book
> make book.pdf
> without success. But since _I_ know that to build html doc I need to
> switch to src/doc, I switched to src/doc and issued again make book,
Not only *you* know. It is even properly documented. ;-)
Why are you not using pdflatex? Because of .ps image?
Initially, I had to use just latex. The pictures would not work nicely
with pdflatex.
pdflatex is the goal, Just wait a little. I also want to see hyperlinks.
(In fact, I rather dream of the book in html format.)
Ralf
--
You received
First, thank you for taking care and finding this issue.
When I recreated the book generation I also thought of this problem, but
was too lazy to actually tackle it.
There could be two solutions. I would prefer the second one.
(a) For each command, add a testcase into the src/input
So I think that "nullXtc" should not be removed.
It is useful for the cases that we show the command into the book,
but do not actually execute it.
OK, then finally, there is a good semantics for \nullXtc.
I'll document that later.
When I started recreating the build procedure for the book, I
Qian,
I just compiled your new-ps-book branch
https://github.com/oldk1331/fricas/commit
https://github.com/oldk1331/fricas/commit/e34fadc066ee34b4b6a56ceadfa3284934166999
It leave one process hanging and thus does not finish. I must
investigate, but have no time now. Will try more as soon as
/d460657632ce3fb9f8b9ea83112642ba59a9e3a9
and
https://github.com/hemmecke/fricas/commit/32a50eeb2c762e4df3b42c5f0f9cb38aa4f2a811
first. These "noOutputXtc" patches.
I'm more familiar with these related areas and I'm confident
these changes are good to go.
- Qian
On 4/29/24 04:09, Ralf Hemmecke wr
Look at the following functions.
You might get trapped.
PP ==> PostiveInteger
C ==> Fraction Integer
expTruncated1(s: PP, t: C): C ==
z: C := 1 + t -- truncated exp
n: PP := 1-- exponent for t
p: C := t -- power of t, p=t^n
It is, of course, only a convenience, but I find it somewhat weird that
SPAD does not allow to divide a rational number by an integer.
The available signatures only say
http://fricas.github.io/api/Fraction.html#l4672616374696f6e-2f
/: (%, %) -> %
/: (S, S) -> %
but not
/: (%, S) -> %
On 5/2/24 13:20, Qian Yun wrote:
In book section 6.19, the Pascal's triangle is not displayed.
It seems that "output" function displays stuff that are not
enclosed by ioHook.
Ralf, are you aware of this issue, and any ideas to fix it?
Yes, this problem is know. And as far as I remember,
On 5/1/24 14:33, Waldek Hebisch wrote:
OrderedField() : Category == Joint(OrderedIntegralDomain, Field)
'OrderedField' potentially says more than the Join.
Clear.
So to make 'OrderedField' useful we would have to annotate algebra
with several declarations like
> if C has OrderedRing
While looking through the picture generation code I saw this
https://github.com/fricas/fricas/blob/master/src/input/cdraw.input#L30
drawComplex(f: C -> C, realRange: S, imagRange: S): VIEW3D ==
free realSteps, imagSteps
That looks like there is a 'free" keyword not only in Aldor but also in
1 - 100 of 3056 matches
Mail list logo