SF.net SVN: fricas:[600] branches/new-lambda

[wheb...@users.sourceforge.net]

Revision: 600
http://fricas.svn.sourceforge.net/fricas/?rev=600&view=rev
Author: whebisch
Date: 2009-04-26 21:19:26 +0000 (Sun, 26 Apr 2009)

Log Message:
-----------
Revert cases which which caused regression.

Modified Paths:
--------------
branches/new-lambda/ChangeLog
branches/new-lambda/src/algebra/fparfrac.spad.pamphlet
branches/new-lambda/src/algebra/fs2expxp.spad.pamphlet
branches/new-lambda/src/algebra/fs2ups.spad.pamphlet

Modified: branches/new-lambda/ChangeLog
===================================================================
--- branches/new-lambda/ChangeLog 2009-04-26 15:53:39 UTC (rev 599)
+++ branches/new-lambda/ChangeLog 2009-04-26 21:19:26 UTC (rev 600)
@@ -1,3 +1,10 @@
+2009-04-26 Waldek Hebisch <heb...@math.uni.wroc.pl>
+
+ * src/algebra/fs2expxp.spad.pamphlet,
+ src/algebra/fs2ups.spad.pamphlet,
+ src/algebra/fparfrac.spad.pamphlet: Revert cases which
+ which caused regression.
+
2009-04-26 Ralf Hemmecke <ra...@hemmecke.de>

* src/algebra/p*: Convert to use '+->'.

Modified: branches/new-lambda/src/algebra/fparfrac.spad.pamphlet
===================================================================
--- branches/new-lambda/src/algebra/fparfrac.spad.pamphlet 2009-04-26 15:53:39 UTC (rev 599)
+++ branches/new-lambda/src/algebra/fparfrac.spad.pamphlet 2009-04-26 21:19:26 UTC (rev 600)
@@ -102,8 +102,7 @@
ans

UP2SUP p ==
- map(x +-> x::UP::RF,
- p)$UnivariatePolynomialCategoryFunctions2(F, UP, RF, SUP)
+ map(#1::UP::RF, p)$UnivariatePolynomialCategoryFunctions2(F, UP, RF, SUP)

-- returns Trace_k^k(a) (h(a) / (x - a)^n) where d(a) = 0
REC2RF(d, h, n) ==

Modified: branches/new-lambda/src/algebra/fs2expxp.spad.pamphlet
===================================================================
--- branches/new-lambda/src/algebra/fs2expxp.spad.pamphlet 2009-04-26 15:53:39 UTC (rev 599)
+++ branches/new-lambda/src/algebra/fs2expxp.spad.pamphlet 2009-04-26 21:19:26 UTC (rev 600)
@@ -139,7 +139,9 @@
-- and log
smpElem(numer f) / smpElem(denom f)

- smpElem p == map(k2Elem, x +-> x::FE, p)$PCL
+ -- smpElem p == map(k2Elem, (x : R) : FE +-> x::FE, p)$PCL
+ -- PCL ==> PolynomialCategoryLifting(IndexedExponents K,K,R,SMP,FE)
+ smpElem p == map(k2Elem,#1::FE,p)$PCL

k2Elem k ==
-- rewrites a kernel; all trig functions are

Modified: branches/new-lambda/src/algebra/fs2ups.spad.pamphlet
===================================================================
--- branches/new-lambda/src/algebra/fs2ups.spad.pamphlet 2009-04-26 15:53:39 UTC (rev 599)
+++ branches/new-lambda/src/algebra/fs2ups.spad.pamphlet 2009-04-26 21:19:26 UTC (rev 600)
@@ -459,7 +459,8 @@
-- functions are expressed in terms of exp
smpElem(numer f) / smpElem(denom f)

- smpElem p == map(k2Elem, x +-> x::FE, p)$PCL
+ smpElem p == map(k2Elem,#1::FE,p)$PCL
+ -- smpElem p == map(k2Elem, x +-> x::FE, p)$PCL

k2Elem k ==
-- rewrites a kernel; all trig functions are

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.