diff --git a/changelog b/changelog
index 7b1a402..d80d084 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20091109 tpd src/axiom-website/patches.html 20091109.01.tpd.patch
+20091109 tpd src/input/complexfactor.input demo complex factoring
 20091108 tpd src/axiom-website/patches.html 20091108.01.tpd.patch
 20091108 tpd books/bookvol10.3 fix comment typo
 20091106 tpd src/axiom-website/patches.html 20091106.01.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 09badc2..7ac7ba1 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -2241,5 +2241,7 @@ src/Makefile create util.ht during interp build<br/>
 src/input/tuplebug.input test Tuple parsing error<br/>
 <a href="patches/20091108.01.tpd.patch">20091108.01.tpd.patch</a>
 books/bookvol10.3 fix comment typo<br/>
+<a href="patches/20091109.01.tpd.patch">20091109.01.tpd.patch</a>
+src/input/complexfactor.input demo complex factoring<br/>
  </body>
 </html>
diff --git a/src/input/Makefile.pamphlet b/src/input/Makefile.pamphlet
index 0f00495..88b0ef9 100644
--- a/src/input/Makefile.pamphlet
+++ b/src/input/Makefile.pamphlet
@@ -295,7 +295,7 @@ REGRES= algaggr.regress algbrbf.regress  algfacob.regress alist.regress  \
     chtheorem.regress classtalk.regress \
     clifford.regress  clif.regress     cmds.regress \
     coercels.regress  collect.regress \
-    complex.regress   conformal.regress \
+    complex.regress   complexfactor.regress conformal.regress \
     constant.regress  contfrac.regress contfrc.regress \
     curl.regress      cwmmt.regress \
     cycles1.regress   cycles.regress   cyfactor.regress \
@@ -564,7 +564,8 @@ FILES= ${OUT}/algaggr.input  ${OUT}/algbrbf.input    ${OUT}/algfacob.input \
        ${OUT}/ch.input       ${OUT}/chtheorem.input  ${OUT}/classtalk.input \
        ${OUT}/clifford.input ${OUT}/clif.input       ${OUT}/cmds.input \
        ${OUT}/coercels.input ${OUT}/collect.input    ${OUT}/color.input \
-       ${OUT}/complex.input  ${OUT}/cone.input       ${OUT}/conformal.input \
+       ${OUT}/complex.input  ${OUT}/complexfactor.input \
+       ${OUT}/cone.input       ${OUT}/conformal.input \
        ${OUT}/constant.input \
        ${OUT}/contfrac.input ${OUT}/contfrc.input    ${OUT}/coordsys.input \
        ${OUT}/curl.input     \
@@ -803,6 +804,7 @@ DOCFILES= \
   ${DOC}/cmds.input.dvi       \
   ${DOC}/coercels.input.dvi    ${DOC}/collect.input.dvi    \
   ${DOC}/color.input.dvi       ${DOC}/complex.input.dvi    \
+  ${DOC}/complexfactor.input.dvi \
   ${DOC}/cone.input.dvi        ${DOC}/conformal.input.dvi  \
   ${DOC}/constant.input.dvi    ${DOC}/contfrac.input.dvi   \
   ${DOC}/contfrc.input.dvi     ${DOC}/coordsys.input.dvi   \
diff --git a/src/input/complexfactor.input.pamphlet b/src/input/complexfactor.input.pamphlet
new file mode 100644
index 0000000..02e0e50
--- /dev/null
+++ b/src/input/complexfactor.input.pamphlet
@@ -0,0 +1,601 @@
+\documentclass{article}
+\usepackage{axiom}
+\begin{document}
+\title{\$SPAD/src/input complexfactor.input}
+\author{Timothy Daly}
+\maketitle
+\begin{abstract}
+Example of factoring polynomials over the complex rational numbers
+along with an example of modemap searching.
+\end{abstract}
+\eject
+\tableofcontents
+\eject
+\begin{chunk}{*}
+)set break resume
+)sys rm -r complexfactor.output
+)spool complexfactor.output
+)set message test on
+)set message auto off
+)clear all
+)set message bottomup on
+ 
+--S 1 of 4
+t1:=-7*x^6 + 10*x^4 + 24*x^3 - 14*x^2 - 27*x - 42 + _
+     %i*(3*x^6 - 9*x^5 + 30*x^4 + 15*x^3 + 17*x*2 - 33*x -7)
+--R 
+--R
+--R Function Selection for ^
+--R      Arguments: (VARIABLE x,PI) 
+--R      Default target type: Polynomial Integer 
+--R   -> no appropriate ** found in Variable x 
+--R   -> no appropriate ** found in PositiveInteger 
+--R   -> no appropriate ** found in Symbol 
+--R   -> no appropriate ** found in Integer 
+--R   -> no appropriate ** found in Polynomial Integer 
+--R   -> no appropriate ** found in Variable x 
+--R   -> no appropriate ** found in PositiveInteger 
+--R   -> no appropriate ** found in Symbol 
+--R   -> no appropriate ** found in Integer 
+--Rcost=50000 for **: (Polynomial Integer,NonNegativeInteger) -> Polynomial Integer
+--Rcost=50000 for **: (Polynomial Integer,PositiveInteger) -> Polynomial Integer
+--R   -> no appropriate ^ found in Variable x 
+--R   -> no appropriate ^ found in PositiveInteger 
+--R   -> no appropriate ^ found in Symbol 
+--R   -> no appropriate ^ found in Integer 
+--R   -> no appropriate ^ found in Polynomial Integer 
+--R   -> no appropriate ^ found in Variable x 
+--R   -> no appropriate ^ found in PositiveInteger 
+--R   -> no appropriate ^ found in Symbol 
+--R   -> no appropriate ^ found in Integer 
+--Rcost=50000 for ^: (Polynomial Integer,NonNegativeInteger) -> Polynomial Integer
+--Rcost=50000 for ^: (Polynomial Integer,PositiveInteger) -> Polynomial Integer
+--R 
+--R [1]  signature:   (POLY INT,NNI) -> POLY INT
+--R      implemented: slot $$(NonNegativeInteger) from POLY INT
+--R [2]  signature:   (POLY INT,PI) -> POLY INT
+--R      implemented: slot $$(PositiveInteger) from POLY INT
+--R [3]  signature:   (POLY INT,NNI) -> POLY INT
+--R      implemented: slot $$(NonNegativeInteger) from POLY INT
+--R [4]  signature:   (POLY INT,PI) -> POLY INT
+--R      implemented: slot $$(PositiveInteger) from POLY INT
+--R 
+--R
+--R Function Selection for *
+--R      Arguments: (POLY INT,POLY INT) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for -
+--R      Arguments: POLY INT 
+--R 
+--R [1]  signature:   POLY INT -> POLY INT
+--R      implemented: slot $$ from POLY INT
+--R 
+--R
+--R Function Selection for ^
+--R      Arguments: (VARIABLE x,PI) 
+--R      Default target type: Polynomial Integer 
+--R 
+--R [1]  signature:   (POLY INT,NNI) -> POLY INT
+--R      implemented: slot $$(NonNegativeInteger) from POLY INT
+--R [2]  signature:   (POLY INT,PI) -> POLY INT
+--R      implemented: slot $$(PositiveInteger) from POLY INT
+--R [3]  signature:   (POLY INT,NNI) -> POLY INT
+--R      implemented: slot $$(NonNegativeInteger) from POLY INT
+--R [4]  signature:   (POLY INT,PI) -> POLY INT
+--R      implemented: slot $$(PositiveInteger) from POLY INT
+--R 
+--R
+--R Function Selection for *
+--R      Arguments: (POLY INT,POLY INT) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for +
+--R      Arguments: (POLY INT,POLY INT) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for ^
+--R      Arguments: (VARIABLE x,PI) 
+--R      Default target type: Polynomial Integer 
+--R 
+--R [1]  signature:   (POLY INT,NNI) -> POLY INT
+--R      implemented: slot $$(NonNegativeInteger) from POLY INT
+--R [2]  signature:   (POLY INT,PI) -> POLY INT
+--R      implemented: slot $$(PositiveInteger) from POLY INT
+--R [3]  signature:   (POLY INT,NNI) -> POLY INT
+--R      implemented: slot $$(NonNegativeInteger) from POLY INT
+--R [4]  signature:   (POLY INT,PI) -> POLY INT
+--R      implemented: slot $$(PositiveInteger) from POLY INT
+--R 
+--R
+--R Function Selection for *
+--R      Arguments: (POLY INT,POLY INT) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for +
+--R      Arguments: (POLY INT,POLY INT) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for ^
+--R      Arguments: (VARIABLE x,PI) 
+--R      Default target type: Polynomial Integer 
+--R 
+--R [1]  signature:   (POLY INT,NNI) -> POLY INT
+--R      implemented: slot $$(NonNegativeInteger) from POLY INT
+--R [2]  signature:   (POLY INT,PI) -> POLY INT
+--R      implemented: slot $$(PositiveInteger) from POLY INT
+--R [3]  signature:   (POLY INT,NNI) -> POLY INT
+--R      implemented: slot $$(NonNegativeInteger) from POLY INT
+--R [4]  signature:   (POLY INT,PI) -> POLY INT
+--R      implemented: slot $$(PositiveInteger) from POLY INT
+--R 
+--R
+--R Function Selection for *
+--R      Arguments: (POLY INT,POLY INT) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for -
+--R      Arguments: (POLY INT,POLY INT) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for *
+--R      Arguments: (PI,VARIABLE x) 
+--R   -> no appropriate * found in PositiveInteger 
+--R   -> no appropriate * found in Variable x 
+--R   -> no appropriate * found in Integer 
+--R   -> no appropriate * found in Symbol 
+--R   -> no appropriate * found in Polynomial Integer 
+--R   -> no appropriate * found in PositiveInteger 
+--R   -> no appropriate * found in Variable x 
+--R   -> no appropriate * found in Integer 
+--R   -> no appropriate * found in Symbol 
+--Rcost=52300 for *: (Integer,Polynomial Integer) -> Polynomial Integer
+--Rcost=52300 for *: (Integer,Polynomial Integer) -> Polynomial Integer
+--Rcost=52300 for *: (NonNegativeInteger,Polynomial Integer) -> Polynomial Integer
+--Rcost=92300 for *: (Polynomial Integer,Polynomial Integer) -> Polynomial Integer
+--Rcost=52300 for *: (PositiveInteger,Polynomial Integer) -> Polynomial Integer
+--R 
+--R [1]  signature:   (INT,POLY INT) -> POLY INT
+--R      implemented: slot $(Integer)$ from POLY INT
+--R [2]  signature:   (INT,POLY INT) -> POLY INT
+--R      implemented: slot $(Integer)$ from POLY INT
+--R [3]  signature:   (NNI,POLY INT) -> POLY INT
+--R      implemented: slot $(NonNegativeInteger)$ from POLY INT
+--R [4]  signature:   (PI,POLY INT) -> POLY INT
+--R      implemented: slot $(PositiveInteger)$ from POLY INT
+--R [5]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for -
+--R      Arguments: (POLY INT,POLY INT) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for -
+--R      Arguments: (POLY INT,PI) 
+--R   -> no appropriate - found in Polynomial Integer 
+--R   -> no appropriate - found in PositiveInteger 
+--R   -> no appropriate - found in Integer 
+--R   -> no appropriate - found in PositiveInteger 
+--R   -> no appropriate - found in Integer 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for complex
+--R      Arguments: (NNI,PI) 
+--R   -> no appropriate complex found in NonNegativeInteger 
+--R   -> no appropriate complex found in PositiveInteger 
+--R   -> no appropriate complex found in Integer 
+--R   -> no appropriate complex found in NonNegativeInteger 
+--R   -> no appropriate complex found in PositiveInteger 
+--R   -> no appropriate complex found in Integer 
+--R
+--R Modemaps from Associated Packages 
+--R   no modemaps
+--R
+--R Remaining General Modemaps 
+--R   [1] (D1,D1) -> D from D if D has COMPCAT D1 and D1 has COMRING
+--R 
+--R [1]  signature:   (INT,INT) -> COMPLEX INT
+--R      implemented: slot $(Integer)(Integer) from COMPLEX INT
+--R 
+--R
+--R Function Selection for ^
+--R      Arguments: (VARIABLE x,PI) 
+--R      Default target type: Polynomial Integer 
+--R 
+--R [1]  signature:   (POLY INT,NNI) -> POLY INT
+--R      implemented: slot $$(NonNegativeInteger) from POLY INT
+--R [2]  signature:   (POLY INT,PI) -> POLY INT
+--R      implemented: slot $$(PositiveInteger) from POLY INT
+--R [3]  signature:   (POLY INT,NNI) -> POLY INT
+--R      implemented: slot $$(NonNegativeInteger) from POLY INT
+--R [4]  signature:   (POLY INT,PI) -> POLY INT
+--R      implemented: slot $$(PositiveInteger) from POLY INT
+--R 
+--R
+--R Function Selection for *
+--R      Arguments: (POLY INT,POLY INT) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for ^
+--R      Arguments: (VARIABLE x,PI) 
+--R      Default target type: Polynomial Integer 
+--R 
+--R [1]  signature:   (POLY INT,NNI) -> POLY INT
+--R      implemented: slot $$(NonNegativeInteger) from POLY INT
+--R [2]  signature:   (POLY INT,PI) -> POLY INT
+--R      implemented: slot $$(PositiveInteger) from POLY INT
+--R [3]  signature:   (POLY INT,NNI) -> POLY INT
+--R      implemented: slot $$(NonNegativeInteger) from POLY INT
+--R [4]  signature:   (POLY INT,PI) -> POLY INT
+--R      implemented: slot $$(PositiveInteger) from POLY INT
+--R 
+--R
+--R Function Selection for *
+--R      Arguments: (POLY INT,POLY INT) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for -
+--R      Arguments: (POLY INT,POLY INT) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for ^
+--R      Arguments: (VARIABLE x,PI) 
+--R      Default target type: Polynomial Integer 
+--R 
+--R [1]  signature:   (POLY INT,NNI) -> POLY INT
+--R      implemented: slot $$(NonNegativeInteger) from POLY INT
+--R [2]  signature:   (POLY INT,PI) -> POLY INT
+--R      implemented: slot $$(PositiveInteger) from POLY INT
+--R [3]  signature:   (POLY INT,NNI) -> POLY INT
+--R      implemented: slot $$(NonNegativeInteger) from POLY INT
+--R [4]  signature:   (POLY INT,PI) -> POLY INT
+--R      implemented: slot $$(PositiveInteger) from POLY INT
+--R 
+--R
+--R Function Selection for *
+--R      Arguments: (POLY INT,POLY INT) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for +
+--R      Arguments: (POLY INT,POLY INT) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for ^
+--R      Arguments: (VARIABLE x,PI) 
+--R      Default target type: Polynomial Integer 
+--R 
+--R [1]  signature:   (POLY INT,NNI) -> POLY INT
+--R      implemented: slot $$(NonNegativeInteger) from POLY INT
+--R [2]  signature:   (POLY INT,PI) -> POLY INT
+--R      implemented: slot $$(PositiveInteger) from POLY INT
+--R [3]  signature:   (POLY INT,NNI) -> POLY INT
+--R      implemented: slot $$(NonNegativeInteger) from POLY INT
+--R [4]  signature:   (POLY INT,PI) -> POLY INT
+--R      implemented: slot $$(PositiveInteger) from POLY INT
+--R 
+--R
+--R Function Selection for *
+--R      Arguments: (POLY INT,POLY INT) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for +
+--R      Arguments: (POLY INT,POLY INT) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for *
+--R      Arguments: (PI,VARIABLE x) 
+--R 
+--R [1]  signature:   (INT,POLY INT) -> POLY INT
+--R      implemented: slot $(Integer)$ from POLY INT
+--R [2]  signature:   (INT,POLY INT) -> POLY INT
+--R      implemented: slot $(Integer)$ from POLY INT
+--R [3]  signature:   (NNI,POLY INT) -> POLY INT
+--R      implemented: slot $(NonNegativeInteger)$ from POLY INT
+--R [4]  signature:   (PI,POLY INT) -> POLY INT
+--R      implemented: slot $(PositiveInteger)$ from POLY INT
+--R [5]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for *
+--R      Arguments: (POLY INT,POLY INT) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for +
+--R      Arguments: (POLY INT,POLY INT) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for *
+--R      Arguments: (PI,VARIABLE x) 
+--R 
+--R [1]  signature:   (INT,POLY INT) -> POLY INT
+--R      implemented: slot $(Integer)$ from POLY INT
+--R [2]  signature:   (INT,POLY INT) -> POLY INT
+--R      implemented: slot $(Integer)$ from POLY INT
+--R [3]  signature:   (NNI,POLY INT) -> POLY INT
+--R      implemented: slot $(NonNegativeInteger)$ from POLY INT
+--R [4]  signature:   (PI,POLY INT) -> POLY INT
+--R      implemented: slot $(PositiveInteger)$ from POLY INT
+--R [5]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for -
+--R      Arguments: (POLY INT,POLY INT) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for -
+--R      Arguments: (POLY INT,PI) 
+--R 
+--R [1]  signature:   (POLY INT,POLY INT) -> POLY INT
+--R      implemented: slot $$$ from POLY INT
+--R 
+--R
+--R Function Selection for *
+--R      Arguments: (COMPLEX INT,POLY INT) 
+--R   -> no appropriate * found in Complex Integer 
+--R   -> no appropriate * found in Polynomial Integer 
+--R   -> no appropriate * found in Polynomial Complex Integer 
+--R   -> no appropriate * found in Complex Integer 
+--R   -> no appropriate * found in Polynomial Integer 
+--Rcost=43300 for *: (Complex Integer,Polynomial Complex Integer) -> Polynomial Complex Integer
+--Rcost=83300 for *: (Polynomial Complex Integer,Polynomial Complex Integer) -> Polynomial Complex Integer
+--R 
+--R [1]  signature:   (COMPLEX INT,POLY COMPLEX INT) -> POLY COMPLEX INT
+--R      implemented: slot $(Complex (Integer))$ from POLY COMPLEX INT
+--R [2]  signature:   (POLY COMPLEX INT,POLY COMPLEX INT) -> POLY COMPLEX INT
+--R      implemented: slot $$$ from POLY COMPLEX INT
+--R 
+--R
+--R Function Selection for map by coercion facility (map) 
+--R      Arguments: ((INT -> COMPLEX INT),POLY INT) 
+--R      Target type: POLY COMPLEX INT 
+--R   -> no appropriate map found in Polynomial Integer 
+--R   -> no appropriate map found in Polynomial Complex Integer 
+--R   -> no appropriate map found in Complex Integer 
+--R   -> no appropriate map found in Integer 
+--R   -> no appropriate map found in Complex Integer 
+--R
+--R Modemaps from Associated Packages 
+--R   [1] ((D4 -> D5),D3) -> D1
+--R            from UnivariatePolynomialCategoryFunctions2(D4,D3,D5,D1)
+--R            if D4 has RING and D5 has RING and D1 has UPOLYC D5 and D3 
+--R            has UPOLYC D4
+--R   [2] ((D5 -> D7),UnivariatePolynomial(D4,D5)) -> UnivariatePolynomial
+--R            (D6,D7)
+--R            from UnivariatePolynomialFunctions2(D4,D5,D6,D7)
+--R            if D4: SYMBOL and D5 has RING and D7 has RING and D6: 
+--R            SYMBOL
+--R   [3] ((D4 -> D5),SparseUnivariatePolynomial D4) -> 
+--R            SparseUnivariatePolynomial D5
+--R            from SparseUnivariatePolynomialFunctions2(D4,D5)
+--R            if D4 has RING and D5 has RING
+--R   [4] ((D4 -> D5),Polynomial D4) -> Polynomial D5
+--R            from PolynomialFunctions2(D4,D5)
+--R            if D4 has RING and D5 has RING
+--R 
+--R [1]  signature:   ((INT -> COMPLEX INT),POLY INT) -> POLY COMPLEX INT
+--R      implemented: slot (Polynomial (Complex (Integer)))(Mapping (Complex (Integer)) (Integer))(Polynomial (Integer)) from POLY2(INT,COMPLEX INT)
+--R 
+--R
+--R Function Selection for +
+--R      Arguments: (POLY INT,POLY COMPLEX INT) 
+--R   -> no appropriate + found in Polynomial Integer 
+--R   -> no appropriate + found in Polynomial Complex Integer 
+--R   -> no appropriate + found in Polynomial Integer 
+--R 
+--R [1]  signature:   (POLY COMPLEX INT,POLY COMPLEX INT) -> POLY COMPLEX INT
+--R      implemented: slot $$$ from POLY COMPLEX INT
+--R 
+--R
+--R Function Selection for map by coercion facility (map) 
+--R      Arguments: ((INT -> COMPLEX INT),POLY INT) 
+--R      Target type: POLY COMPLEX INT 
+--R 
+--R [1]  signature:   ((INT -> COMPLEX INT),POLY INT) -> POLY COMPLEX INT
+--R      implemented: slot (Polynomial (Complex (Integer)))(Mapping (Complex (Integer)) (Integer))(Polynomial (Integer)) from POLY2(INT,COMPLEX INT)
+--R 
+--R
+--R   (1)
+--R                 6        5               4               3      2
+--R     (- 7 + 3%i)x  - 9%i x  + (10 + 30%i)x  + (24 + 15%i)x  - 14x
+--R   + 
+--R     (- 27 + %i)x - 42 - 7%i
+--R                                             Type: Polynomial Complex Integer
+--E 1
+
+--S 2 of 4
+t2:=factor t1
+--R 
+--R
+--R Function Selection for factor
+--R      Arguments: POLY COMPLEX INT 
+--R   -> no appropriate factor found in Polynomial Complex Integer 
+--R   -> no appropriate factor found in Polynomial Complex Integer 
+--R
+--R Modemaps from Associated Packages 
+--R   no modemaps
+--R
+--R Remaining General Modemaps 
+--R   [1] D -> Factored D from D if D has UFD
+--R   [2] D2 -> Factored D2 from SAERationalFunctionAlgFactor(D3,D4,D2)
+--R            if D3 has UPOLYC FRAC POLY INT and D4 has Join(Field,
+--R            CharacteristicZero,MonogenicAlgebra(Fraction Polynomial 
+--R            Integer,D3)) and D2 has UPOLYC D4
+--R   [3] D2 -> Factored D2 from SimpleAlgebraicExtensionAlgFactor(D3,D4,
+--R            D2)
+--R            if D3 has UPOLYC FRAC INT and D4 has Join(Field,
+--R            CharacteristicZero,MonogenicAlgebra(Fraction Integer,D3)) 
+--R            and D2 has UPOLYC D4
+--R   [4] D2 -> Factored D2 from RationalFunctionFactor D2
+--R            if D2 has UPOLYC FRAC POLY INT
+--R   [5] SparseUnivariatePolynomial D6 -> Factored 
+--R            SparseUnivariatePolynomial D6
+--R            from MultivariateFactorize(D3,D4,D5,D6)
+--R            if D3 has ORDSET and D4 has OAMONS and D5 has Join(
+--R            EuclideanDomain,CharacteristicZero) and D6 has POLYCAT(D5,
+--R            D4,D3)
+--R   [6] D2 -> Factored D2 from MultivariateFactorize(D3,D4,D5,D2)
+--R            if D3 has ORDSET and D4 has OAMONS and D5 has Join(
+--R            EuclideanDomain,CharacteristicZero) and D2 has POLYCAT(D5,
+--R            D4,D3)
+--R   [7] D2 -> Factored D2 from MPolyCatRationalFunctionFactorizer(D3,D4,
+--R            D5,D2)
+--R            if D3 has OAMONS and D4 has OrderedSet with 
+--R               convert : % -> Symbol and D5 has INTDOM and D2 has 
+--R            POLYCAT(FRAC POLY D5,D3,D4)
+--R   [8] SparseUnivariatePolynomial D6 -> Factored 
+--R            SparseUnivariatePolynomial D6
+--R            from MultFiniteFactorize(D3,D4,D5,D6)
+--R            if D3 has ORDSET and D4 has OAMONS and D5 has FFIELDC and 
+--R            D6 has POLYCAT(D5,D4,D3)
+--R   [9] D2 -> Factored D2 from MultFiniteFactorize(D3,D4,D5,D2)
+--R            if D3 has ORDSET and D4 has OAMONS and D5 has FFIELDC and 
+--R            D2 has POLYCAT(D5,D4,D3)
+--R   [10] Complex Integer -> Factored Complex Integer
+--R            from GaussianFactorizationPackage
+--R   [11] D2 -> Factored D2 from DistinctDegreeFactorize(D3,D2)
+--R            if D3 has FFIELDC and D2 has UPOLYC D3
+--R   [12] D2 -> Factored D2 from ComplexFactorization(D3,D2)
+--R            if D3 has EUCDOM and D2 has UPOLYC COMPLEX D3
+--R   [13] D2 -> Factored D2 from AlgFactor D2 if D2 has UPOLYC AN
+--R   -> no appropriate map found in Complex Integer 
+--R   -> no appropriate map found in Integer 
+--R   -> no appropriate map found in Complex Polynomial Integer 
+--R   -> no appropriate map found in Polynomial Integer 
+--R   -> no appropriate map found in Integer 
+--R   -> no appropriate map found in Polynomial Integer 
+--R
+--R Modemaps from Associated Packages 
+--R   [1] ((D4 -> D5),Complex D4) -> Complex D5 from ComplexFunctions2(D4,
+--R            D5)
+--R            if D4 has COMRING and D5 has COMRING
+--Rcost=54500 for factor: Expression Complex Integer -> Factored Expression Complex Integer
+--Rcost=14500 for factor: Polynomial Complex Integer -> Factored Polynomial Complex Integer
+--Rcost=55500 for factor: SparseUnivariatePolynomial Polynomial Complex Integer -> Factored SparseUnivariatePolynomial Polynomial Complex Integer
+--R 
+--R [1]  signature:   POLY COMPLEX INT -> FR POLY COMPLEX INT
+--R      implemented: slot (Factored (Polynomial (Complex (Integer))))(Polynomial (Complex (Integer))) from MULTFACT(SYMBOL,INDE SYMBOL,COMPLEX INT,POLY COMPLEX INT)
+--R [2]  signature:   EXPR COMPLEX INT -> FR EXPR COMPLEX INT
+--R      implemented: slot (Factored $)$ from EXPR COMPLEX INT
+--R [3]  signature:   SUP POLY COMPLEX INT -> FR SUP POLY COMPLEX INT
+--R      implemented: slot (Factored (SparseUnivariatePolynomial (Polynomial (Complex (Integer)))))(SparseUnivariatePolynomial (Polynomial (Complex (Integer)))) from MULTFACT(SYMBOL,INDE SYMBOL,COMPLEX INT,POLY COMPLEX INT)
+--R 
+--R
+--R   (2)
+--R     %i
+--R  *
+--R                 6     5               4               3         2
+--R       (3 + 7%i)x  - 9x  + (30 - 10%i)x  + (15 - 24%i)x  + 14%i x  + (1 + 27%i)x
+--R     + 
+--R       - 7 + 42%i
+--R                                    Type: Factored Polynomial Complex Integer
+--E 2
+
+--S 3 of 4
+t3:=factors t2
+--R 
+--R
+--R Function Selection for factors
+--R      Arguments: FR POLY COMPLEX INT 
+--R 
+--R [1]  signature:   FR POLY COMPLEX INT -> LIST Record(factor: POLY COMPLEX INT,exponent: INT)
+--R      implemented: slot (List (Record (: factor (Polynomial (Complex (Integer)))) (: exponent (Integer))))$ from FR POLY COMPLEX INT
+--R 
+--R
+--R   (3)
+--R   [
+--R     [
+--R       factor =
+--R                     6     5               4               3         2
+--R           (3 + 7%i)x  - 9x  + (30 - 10%i)x  + (15 - 24%i)x  + 14%i x
+--R         + 
+--R           (1 + 27%i)x - 7 + 42%i
+--R       ,
+--R      exponent= 1]
+--R     ]
+--R      Type: List Record(factor: Polynomial Complex Integer,exponent: Integer)
+--E 3
+
+--S 4 of 4
+t4:=unit t2
+--R 
+--R
+--R Function Selection for unit
+--R      Arguments: FR POLY COMPLEX INT 
+--R 
+--R [1]  signature:   FR POLY COMPLEX INT -> POLY COMPLEX INT
+--R      implemented: slot (Polynomial (Complex (Integer)))$ from FR POLY COMPLEX INT
+--R 
+--R
+--R   (4)  %i
+--R                                             Type: Polynomial Complex Integer
+--E 4
+
+)spool
+)lisp (bye)
+ 
+\end{chunk}
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}