help links subscribe changes refresh edit

	SandBoxExpOfEnd
	↑

SandBoxCollect

Edit detail for SandBoxCollect revision 5 of 7

	1 2 3 4 5 6 7
Editor: Bill page Time: 2014/09/24 03:16:37 GMT+0
Note:

changed:
-QF==>PolynomialCategoryQuotientFunctions(IndexedExponents Kernel Expression Integer,_
-                                         Kernel Expression Integer,_
-                                         Integer,_
-                                         SparseMultivariatePolynomial(Integer,Kernel Expression Integer),_
-                                         Expression Integer)
I==>Integer
E==>Expression I
K==>Kernel E
Q==>PolynomialCategoryQuotientFunctions( _
      IndexedExponents K, K, I, SparseMultivariatePolynomial(I,K), E)

changed:
-    collect1:(Expression Integer,Kernel Expression Integer) -> Expression Integer
-    collect2:(Expression Integer,Expression Integer,List Equation Expression Integer) -> List Expression Integer
    collect:(E,E) -> List E

changed:
-    collect1(x,k) ==
-      n1:=univariate(x::Expression Integer,k::Kernel Expression Integer)$QF

    collect1(x:E,k:K):E ==
      n1:=univariate(x,k)$Q

changed:
-      n3:=multivariate(n2,k::Kernel Expression Integer)$QF
-    collect2(x,k,s1) ==
      n3:=multivariate(n2,k)$Q

    collect2(x:E,k:E,s1:List Equation E):List E ==

added:

    collect(x,k) ==
      s1:=solve(equation(coerce('%k),k),variables(k)(1))$TransSolvePackage(I)
      collect2(x,k,s1)


changed:
-collect(x:Expression Integer,k:Expression Integer):List Expression Integer ==
-  s1:=solve(%k=k,variables(k)(1))
-  collect2(x,k,s1)
collect((r[2]-r[1]+1)^3,r[2]-r[1])
test(reduce(+,%) = (r[2]-r[1]+1)^3)

removed:
-
-\begin{axiom}
-collect((r2-r1+1)^3,(r2-r1)::Expression Integer)
-test(reduce(+,%) = (r2-r1+1)^3)
-\end{axiom}

Collect terms in x with given factor k.

spad

)abbrev package COLL Collect
I==>Integer
E==>Expression I
K==>Kernel E
Q==>PolynomialCategoryQuotientFunctions( _
      IndexedExponents K, K, I, SparseMultivariatePolynomial(I,K), E)
Collect(): with
    collect:(E,E) -> List E
  == add

    collect1(x:E,k:K):E ==
      n1:=univariate(x,k)$Q
      n2:=(leadingMonomial numer n1)/(denom n1)
      n3:=multivariate(n2,k)$Q

    collect2(x:E,k:E,s1:List Equation E):List E ==
      x2:=eval(collect1(eval(x,s1),kernel '%k),[kernel '%k],[k])
      x2=0 => []
      concat(x2,collect2(x-x2,k,s1))

    collect(x,k) ==
      s1:=solve(equation(coerce('%k),k),variables(k)(1))$TransSolvePackage(I)
      collect2(x,k,s1)

spad

   Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/3893914476593947683-25px001.spad
      using old system compiler.
   COLL abbreviates package Collect 
------------------------------------------------------------------------
   initializing NRLIB COLL for Collect 
   compiling into NRLIB COLL 
   compiling local collect1 : (Expression Integer,Kernel Expression Integer) -> Expression Integer
Time: 0.04 SEC.

   compiling local collect2 : (Expression Integer,Expression Integer,List Equation Expression Integer) -> List Expression Integer
Time: 0.03 SEC.

   compiling exported collect : (Expression Integer,Expression Integer) -> List Expression Integer
Time: 0.03 SEC.

(time taken in buildFunctor:  0)

;;;     ***       |Collect| REDEFINED

;;;     ***       |Collect| REDEFINED
Time: 0 SEC.

   Cumulative Statistics for Constructor Collect
      Time: 0.10 seconds

   finalizing NRLIB COLL 
   Processing Collect for Browser database:
--->-->Collect(constructor): Not documented!!!!
--->-->Collect((collect ((List (Expression (Integer))) (Expression (Integer)) (Expression (Integer))))): Not documented!!!!
--->-->Collect(): Missing Description
; compiling file "/var/aw/var/LatexWiki/COLL.NRLIB/COLL.lsp" (written 24 SEP 2014 03:16:31 AM):

; /var/aw/var/LatexWiki/COLL.NRLIB/COLL.fasl written
; compilation finished in 0:00:00.022
------------------------------------------------------------------------
   Collect is now explicitly exposed in frame initial 
   Collect will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/COLL.NRLIB/COLL

fricas

collect((r[2]-r[1]+1)^3,r[2]-r[1])

$\label{eq1}\begin{array}{@{}l} \displaystyle \left[{{{r_{2}}^{3}}-{3 \ {r_{1}}\ {{r_{2}}^{2}}}+{3 \ {{r_{1}}^{2}}\ {r_{2}}}-{{r_{1}}^{3}}}, \:{{3 \ {{r_{2}}^{2}}}-{6 \ {r_{1}}\ {r_{2}}}+{3 \ {{r_{1}}^{2}}}}, \: \right. \ \ \displaystyle \left.{{3 \ {r_{2}}}-{3 \ {r_{1}}}}, \: 1 \right]$

(1)

Type: List(Expression(Integer))

fricas

test(reduce(+,%) = (r[2]-r[1]+1)^3)

$\label{eq2} \mbox{\rm true}$

(2)

Type: Boolean