On 03/29/2014 10:25 PM, Ralf Hemmecke wrote:
> I've made comments starting with '--rhx' that indicate where I am unsure
> about the translation.
That's still true, but I've pushed a version of outputTran that compiles
and gives the attached difference (normout).
https://github.com/hemmecke/fricas/tree/i-output-to-spad
That still has some parts that need "pretend". Suggestions are welcome
how to remove them.
In fact, I would be happy to separate the "algebraic" transformation
from the one that is connected to type and language. I somehow believe
that the language stuff doesn't need translation boot->spad. Am I wrong?
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
DIR1=build/74877b2f0bfb598212b566bc6b3407723afd2452_2014-03-31_14-00-17
DIR2=b
AX1=/home/hemmecke/g/fricas-bisect/build/74877b2f0bfb598212b566bc6b3407723afd2452_2014-03-31_14-00-17/target/x86_64-unknown-linux
AX2=/home/hemmecke/g/fricas-bisect/b/target/x86_64-unknown-linux
Diffing agcd.output
Diffing algaggr.output
Diffing algbrbf.output
Diffing algfacob.output
Diffing allfact.output
Diffing arith.output
Diffing arrows.output
Diffing assign.output
Diffing bags.output
Diffing bug10312.output
Diffing bug6357.output
Diffing bug9057.output
Diffing bugs2007.output
--- /tmp/tcmp1.6508 2014-04-04 01:33:12.329709815 +0200
+++ /tmp/tcmp2.6508 2014-04-04 01:33:12.329709815 +0200
@@ -235,7 +235,7 @@
(5)
theMap
- #<FUNCTION (LAMBDA (#:G940 |envArg|) :IN |*1;g;1;initial|) {1007222BBB}>
+ #<FUNCTION (LAMBDA (#:G940 |envArg|) :IN |*1;g;1;initial|) {10071DC24B}>
,
0
Type: (Integer -> Integer)
Diffing bugs2008.output
--- /tmp/tcmp1.6508 2014-04-04 01:33:12.333709814 +0200
+++ /tmp/tcmp2.6508 2014-04-04 01:33:12.333709814 +0200
@@ -25,10 +25,10 @@
--->-->ExportType(constructor): Not documented!!!!
--->-->ExportType((baseRing ((Ring)))): Not documented!!!!
--->-->ExportType(): Missing Description
-; compiling file "/home/hemmecke/backup/git/fricas-bisect/b/src/input/EXPORT.NRLIB/EXPORT.lsp" (written 31 MAR 2014 02:24:47 PM):
+; compiling file "/home/hemmecke/backup/git/fricas-bisect/b/src/input/EXPORT.NRLIB/EXPORT.lsp" (written 04 APR 2014 01:29:05 AM):
; /home/hemmecke/backup/git/fricas-bisect/b/src/input/EXPORT.NRLIB/EXPORT.fasl written
-; compilation finished in 0:00:00.010
+; compilation finished in 0:00:00.014
------------------------------------------------------------------------
ExportType is now explicitly exposed in frame initial
ExportType will be automatically loaded when needed from
Diffing bugs2009.output
Diffing bugs2010.output
Diffing bugs2011.output
Diffing bugs2012.output
Diffing bugs2013.output
Diffing bugs2014.output
Diffing calculus2.output
Diffing cardinal.output
Diffing ch.output
Diffing clifford.output
Diffing coercels.output
Diffing collect.output
Diffing constant.output
Diffing contfrac.output
Diffing cycles.output
Diffing cyfactor.output
Diffing danzwill.output
Diffing defintef.output
Diffing dhtri.output
Diffing dirichlet.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 equation.output
Diffing equation2.output
Diffing errortrap.output
Diffing eval.output
Diffing exint.output
Diffing exlap.output
Diffing expexpan.output
Diffing explim.output
Diffing expps.output
Diffing exprode.output
Diffing exprpoly.output
Diffing exsum.output
Diffing ffdemo.output
Diffing fferr.output
Diffing ffx72.output
Diffing fib.output
Diffing finite.output
Diffing fixed.output
Diffing float.output
Diffing float2.output
Diffing fname.output
Diffing fnla.output
Diffing fns.output
Diffing fparfrac.output
Diffing fr.output
Diffing function.output
Diffing galois.output
Diffing genups.output
Diffing gonshor.output
Diffing grpthry.output
Diffing heat.output
Diffing help.output
Diffing huang.output
Diffing i_bugs.output
--- /tmp/tcmp1.6508 2014-04-04 01:33:12.597709800 +0200
+++ /tmp/tcmp2.6508 2014-04-04 01:33:12.601709800 +0200
@@ -83,6 +83,10 @@
arg1= - 1
1>exit Integer.coerce,38 :
- 1
+ 1<enter Integer.coerce,38 :
+ arg1= 1
+ 1>exit Integer.coerce,38 :
+ 1
(7) - 1
Type: Integer
)trace Integer )off
Diffing ico.output
Diffing ideal.output
Diffing ifact.output
Diffing infprod.output
Diffing intaf.output
Diffing intdeq.output
Diffing intef.output
Diffing integ.output
Diffing intg0.output
Diffing intheory.output
Diffing intmix.output
Diffing intrf.output
Diffing ipftest.output
Diffing is.output
Diffing isprime.output
Diffing jet.output
Diffing knot2.output
Diffing kovacic.output
Diffing kuipers.output
Diffing laplace.output
Diffing leg.output
Diffing limit.output
Diffing linalg.output
Diffing lindep.output
Diffing lode.output
Diffing lodesys.output
Diffing lodo.output
Diffing lodof.output
Diffing loop.output
Diffing lupfact.output
Diffing macbug.output
Diffing macros.output
Diffing mantepse.output
Diffing mapleok.output
Diffing marcbench.output
Diffing matbug.output
Diffing matcat.output
Diffing matrix.output
Diffing matrix22.output
Diffing mfinfact.output
Diffing mset.output
Diffing mts.output
Diffing multfact.output
Diffing multiple.output
Diffing negfloats.output
Diffing newton.output
Diffing nlode.output
Diffing noonburg.output
Diffing numbers.output
Diffing octonion.output
Diffing ode.output
Diffing op.output
Diffing operator.output
Diffing ord.output
Diffing padic.output
Diffing parabola.output
Diffing pascal.output
Diffing pascal1.output
Diffing pat.output
Diffing patmatch.output
Diffing perm.output
Diffing pfr.output
Diffing pmint.output
Diffing poly.output
Diffing polycoer.output
Diffing polylift.output
Diffing psgenfcn.output
Diffing r20abugs.output
Diffing r20bugs.output
Diffing r21bugs.output
Diffing r21bugsbig.output
Diffing radff.output
Diffing reclos.output
Diffing reductio.output
Diffing repa6.output
Diffing robidoux.output
Diffing roots.output
Diffing rules.output
Diffing ruleset.output
Diffing scherk.output
Diffing scope.output
Diffing series.output
Diffing series2.output
Diffing series3.output
Diffing sersolve.output
Diffing skew.output
Diffing slowint.output
Diffing solvetra.output
Diffing space3.output
Diffing ssolve.output
Diffing stream2.output
Diffing streams.output
Diffing synonym.output
Diffing t111293.output
Diffing table.output
Diffing tanatan.output
Diffing tensor.output
Diffing test.output
Diffing tree.output
Diffing triglim.output
Diffing tsetcatbutcher.output
Diffing tsetcatchemical.output
Diffing tsetcatvermeer.output
Diffing tutchap1.output
Diffing tutchap2.output
Diffing tutchap3.output
Diffing tutchap4.output
Diffing tutchap67.output
Diffing unittest.output
Diffing view2d.output
Diffing viewdef.output
Diffing vsbasis.output
Diffing zimmer.output
