Re: [fricas-devel] AXIOM --> FRICAS
> There is still weirdness in src/doc/htex/ug15.htex, in section > > Old News about AXIOM Version 2.x > > changing Axiom to FriCAS for me looks like reading 1984 (for > example "correcting" past issues of newspapers to conform to > changed party policy). Oh. I liked that part of "1984" very much. It makes clear that history is not as stable as we think. Clearly, I don't want to be part of that. I now mostly left that part under "Old New" as it was. I only changed \axiomxl to AXIOM-XL in two places, since I've redefined \axiomxl to produce Aldor in the .sty file. > I would keep this part of ug15.htex as is. If you agree > commit the rest. Yep. Thanks. 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 view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/16d2e30e-87c9-1adb-a99d-8d1cb2721891%40hemmecke.org.
Re: [fricas-devel] AXIOM --> FRICAS
Ralf Hemmecke wrote: > > I've amended the axiom branch. No changes to any of the Makenotes.tex > anymore. > > Otherwise the difference between my previous commit and the one I want > to eventually commit to SVN is attached. > > Can I commit > > https://github.com/hemmecke/fricas/commit/b71a9d46170488eb5e524894ed3f379dcac25f6e > > to SVN? > There is still weirdness in src/doc/htex/ug15.htex, in section Old News about AXIOM Version 2.x changing Axiom to FriCAS for me looks like reading 1984 (for example "correcting" past issues of newspapers to conform to changed party policy). When changing names I kept original name as this text was taken verbatim. In general in "news" files corrections should be minimal only for obvoius errors (preferably none). I would keep this part of ug15.htex as is. If you agree commit the rest. -- Waldek Hebisch -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/E1iWiuU-0007jd-Ai%40hera.math.uni.wroc.pl.
Re: [fricas-devel] AXIOM --> FRICAS
I've amended the axiom branch. No changes to any of the Makenotes.tex anymore. Otherwise the difference between my previous commit and the one I want to eventually commit to SVN is attached. Can I commit https://github.com/hemmecke/fricas/commit/b71a9d46170488eb5e524894ed3f379dcac25f6e to SVN? 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 view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/90d83203-d402-4250-e797-cfd58b6a85cd%40hemmecke.org. diff --git a/src/algebra/alg_top.spad b/src/algebra/alg_top.spad index 0e4aef78..0f4336be 100644 --- a/src/algebra/alg_top.spad +++ b/src/algebra/alg_top.spad @@ -84,7 +84,7 @@ Other cohomology domains: DeRhamComplex: \url{https://github.com/fricas/fricas/blob/master/src/algebra/derham.spad} DifferentialGeometry -\url{http://fricas-wiki.newsynthesis.org/SandBoxDifferentialGeometry} +\url{http://fricas-wiki.math.uni.wroc.pl/SandBoxDifferentialGeometry} \section{Introduction} diff --git a/src/input/perm.input b/src/input/perm.input index a20474ab..3bf554ed 100644 --- a/src/input/perm.input +++ b/src/input/perm.input @@ -2,11 +2,11 @@ )clear all --- This file demonstrates some of the new routines for permutations --- in FRICAS. ( Last change: 05/16/89 by HWG ) --- (J. Grabmeier: adjusted to new concept: 08/07/89) --- (M. Weller : adjusted to 1..: 03/29/90) --- (J. Grabmeier : adjusted to new algebra 05/14/90) +-- This file demonstrates some of the new routines for permutations. +-- ( Last change: 05/16/89 by HWG ) +-- (J. Grabmeier: adjusted to new concept: 08/07/89) +-- (M. Weller : adjusted to 1..: 03/29/90) +-- (J. Grabmeier : adjusted to new algebra 05/14/90) -- Permutations can act on every set, finite or infinite. -- Usually permutations are given as a product of cycles, diff --git a/src/interp/setq.lisp b/src/interp/setq.lisp index 915e2211..fafdcd4c 100644 --- a/src/interp/setq.lisp +++ b/src/interp/setq.lisp @@ -231,8 +231,7 @@ (|recurrence| . "set functions recurrence") (|restore|. "history )restore") (|save| . "history )save") - (|startGraphics|. "system -$FRICAS/lib/viewman &") + (|startGraphics|. "system $FRICAS/lib/viewman &") (|stopGraphics| . "lisp (|sockSendSignal| 2 15)") (|time| . "set message time") (|type| . "set message type")
Re: [fricas-devel] AXIOM --> FRICAS
Thank you, Waldek, for looking so quickly over this mega patch. > Code changes look OK. However, some changes to comments/documention > lead to weird result. For example in 'Makenotes.tex' there is > mention on 'MNT' -- this was correct information about Axiom, > but FriCAS never used MNT. Well, I thought about not changing all the Makenotes.tex at all. True, I've more or less replaced Axiom by FriCAS in many places without looking at the content. Since Makenotes.tex are somehow "historical information", I suggest that I simply leave them as they are now at trunk. Agreed? > Somewhat related in the log: > >> Diffing perm.output >> --- /tmp/tcmp1.5824 2019-11-16 18:50:24.165099503 +0100 >> +++ /tmp/tcmp2.5824 2019-11-16 18:50:24.165099503 +0100 >> @@ -6,7 +6,7 @@ >> All user variables and function definitions have been cleared. >> =20 * >> -- This file demonstrates some of the new routines for permutations * >> --- in AXIOM.( Last change: 05/16/89 by HWG ) * >> +-- in FRICAS. ( Last change: 05/16/89 by HWG ) >> -- (J. Grabmeier: adjusted to new concept: 08/07/89) >> -- (M. Weller : adjusted to 1..: 03/29/90) >> -- (J. Grabmeier : adjusted to new algebra 05/14/90) > > > IMHO this is historical information, routines were added to Axiom, > and at that time were new. Since it is not relevant now, > I would just delete it. OK, I'll remove those * lines 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 view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/6b127d93-ef4e-8cf2-740e-f558091dcd38%40hemmecke.org.
Re: [fricas-devel] AXIOM --> FRICAS
Ralf Hemmecke wrote: > > I've finished the renaming of all the "axiom" identifiers to "fricas". > After this patch, we would have FRICASsys instead of AXIOMsys, and the > (internal) AXIOM environment variable is then called FRICAS. > > I've also tried to rename Axiom to FriCAS in all places that do not > relate to the history. > > Furthermore, for the connection with Aldor, the library is then called > libfricas.al and the include file will be fricas.as (instead of > libaxiom.al and axiom.as). > > I hope some people look over the patch and tell me whether I've made > mistakes. > > Compilation went fine at least under Debian 10 and Ubuntu 18.04 with > sbcl 1.5.8. Differences (normout) between current trunk and my "axiom" > branch > > https://github.com/hemmecke/fricas/commits/axiom > > is attached. > > The patch is at > > https://github.com/hemmecke/fricas/commit/e88ba99221d0c73454f332c37dbf8d02dab77e59.patch > > but note that there are some files that have been renamed (like, for > example, axiom.as into fricas.as). > > Can I commit? Code changes look OK. However, some changes to comments/documention lead to weird result. For example in 'Makenotes.tex' there is mention on 'MNT' -- this was correct information about Axiom, but FriCAS never used MNT. Somewhat related in the log: > Diffing perm.output > --- /tmp/tcmp1.5824 2019-11-16 18:50:24.165099503 +0100 > +++ /tmp/tcmp2.5824 2019-11-16 18:50:24.165099503 +0100 > @@ -6,7 +6,7 @@ > All user variables and function definitions have been cleared. > =20 > -- This file demonstrates some of the new routines for permutations > --- in AXIOM.( Last change: 05/16/89 by HWG ) > +-- in FRICAS. ( Last change: 05/16/89 by HWG ) > -- (J. Grabmeier: adjusted to new concept: 08/07/89) > -- (M. Weller : adjusted to 1..: 03/29/90) > -- (J. Grabmeier : adjusted to new algebra 05/14/90) IMHO this is historical information, routines were added to Axiom, and at that time were new. Since it is not relevant now, I would just delete it. -- Waldek Hebisch -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/E1iWPSS-wP-HP%40hera.math.uni.wroc.pl.
[fricas-devel] AXIOM --> FRICAS
Dear all (in particular for Waldek), I've finished the renaming of all the "axiom" identifiers to "fricas". After this patch, we would have FRICASsys instead of AXIOMsys, and the (internal) AXIOM environment variable is then called FRICAS. I've also tried to rename Axiom to FriCAS in all places that do not relate to the history. Furthermore, for the connection with Aldor, the library is then called libfricas.al and the include file will be fricas.as (instead of libaxiom.al and axiom.as). I hope some people look over the patch and tell me whether I've made mistakes. Compilation went fine at least under Debian 10 and Ubuntu 18.04 with sbcl 1.5.8. Differences (normout) between current trunk and my "axiom" branch https://github.com/hemmecke/fricas/commits/axiom is attached. The patch is at https://github.com/hemmecke/fricas/commit/e88ba99221d0c73454f332c37dbf8d02dab77e59.patch but note that there are some files that have been renamed (like, for example, axiom.as into fricas.as). Can I 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 view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/fc113be2-b32e-eaf5-265b-16712546f01e%40hemmecke.org. DIR1=/home/hemmecke/h/cron-autocompile/fricas-bisect/build/8280fb7f93a1249cefe86c30b3807be004c8abbb_2019-11-16_17-44-01 DIR2=/dev/shm/hemmecke/fricas/b-axiom AX1=/home/hemmecke/h/cron-autocompile/fricas-bisect/build/8280fb7f93a1249cefe86c30b3807be004c8abbb_2019-11-16_17-44-01/target/x86_64-linux-gnu AX2=/dev/shm/hemmecke/fricas/b-axiom/target/x86_64-linux-gnu Diffing agcd.output Diffing algaggr.output Diffing algfacob.output Diffing allfact.output Diffing arith.output Diffing array.output Diffing arrows.output Diffing bags.output Diffing bezout.output Diffing bug6357.output Diffing bugs2007.output Diffing bugs2008.output --- /tmp/tcmp1.5824 2019-11-16 18:50:23.813106246 +0100 +++ /tmp/tcmp2.5824 2019-11-16 18:50:23.813106246 +0100 @@ -25,7 +25,7 @@ --->-->ExportType(constructor): Not documented --->-->ExportType((baseRing ((Ring: Not documented --->-->ExportType(): Missing Description -; compiling file "/dev/shm/hemmecke/fricas/b-axiom/src/input/EXPORT.NRLIB/EXPORT.lsp" (written 16 NOV 2019 05:49:53 PM): +; compiling file "/dev/shm/hemmecke/fricas/b-axiom/src/input/EXPORT.NRLIB/EXPORT.lsp" (written 16 NOV 2019 06:49:54 PM): ; wrote /dev/shm/hemmecke/fricas/b-axiom/src/input/EXPORT.NRLIB/EXPORT.fasl ; compilation finished in 0:00:00.004 Diffing bugs2009.output Diffing bugs2010.output Diffing bugs2011.output Diffing bugs2012.output Diffing bugs2013.output Diffing bugs2014.output Diffing bugs2015.output Diffing bugs2016.output Diffing bugs2017.output Diffing bugs2018.output Diffing bugs2019.output Diffing calculus2.output Diffing cardinal.output Diffing ch.output Diffing charpol.output Diffing clifford.output Diffing coercels.output Diffing collect.output Diffing constant.output Diffing contfrac.output Diffing cycles.output Diffing cyfactor.output Diffing cyldec.output Diffing danzwill.output Diffing defintef.output Diffing derham.output Diffing dhtri.output Diffing dirichlet.output Diffing discrgrp.output Diffing distro.output Diffing divisor.output Diffing dpol.output Diffing efi.output Diffing eigen.output Diffing elemfun.output Diffing elemnum.output Diffing elfuts.output Diffing ellip.output Diffing elt.output Diffing equation2.output Diffing errortrap.output Diffing eval.output Diffing expexpan.output Diffing expps.output Diffing exprpoly.output Diffing exsum.output Diffing ffdemo.output Diffing finite.output Diffing fixed.output --- /tmp/tcmp1.5824 2019-11-16 18:50:23.953103564 +0100 +++ /tmp/tcmp2.5824 2019-11-16 18:50:23.957103488 +0100 @@ -5429,7 +5429,7 @@ -- (5) ["There is","a real bug","here"] -- --Is there a way to fix this bug quickly ?? (I am ready to modify the source ---Axiom aggcat.spad). +--FriCAS aggcat.spad). --The problem with ! functions lies in the documentation not in the code. We --need to explain more clearly that ! functions are ALLOWED to update their --arguments, not REQUIRED to do so. @@ -5505,7 +5505,7 @@ n 2 2 (1) cos(x) == (- sin(x) + 1) -- ---Axiom returns +--FriCAS returns -- -- Cannot find a definition or library operation named even? with argument -- types Diffing float.output Diffing float2.output Diffing fname.output Diffing fnla.output Diffing fparfrac.output Diffing fr.output Diffing free_mod.output Diffing fun.output Diffing function.output Diffing galois.output Diffing genups.output Diffing gonshor.output Diffing gpresent.output Diffing grpthry.output Diffing heat.output Diffing huang.output Diffing i_bugs.output Diffing ico.output Diffing ideal.output Diffing ifact.output Diffing infprod.output Diffing