more coverage

Author: shashi

src/polyform.jl

@@ -311,13 +311,15 @@ quick_cancel(x) = x
 quick_cancel(x, y) = isequal(x, y) ? (1,1) : (x, y)
 
 function quick_cancel(x::Pow, y)
+    x.exp isa Number || return (x, y)
     isequal(x.base, y) && x.exp >= 1 ? (Pow{symtype(x)}(x.base, x.exp - 1),1) : (x, y)
 end
 
 quick_cancel(y, x::Pow) = reverse(quick_cancel(x,y))
 
 function quick_cancel(x::Pow, y::Pow)
     if isequal(x.base, y.base)
+        !(x.exp isa Number && y.exp isa Number) && return (x, y)
         if x.exp > y.exp
             return Pow{symtype(x)}(x.base, x.exp-y.exp), 1
         elseif x.exp == y.exp
@@ -347,6 +349,7 @@ function quick_cancel(x::Mul, y)
 end
 
 function quick_cancel(x::Mul, y::Pow)
+    y.exp isa Number || return (x, y)
     if haskey(x.dict, y.base)
         d = copy(x.dict)
         if x.dict[y.base] > y.exp

test/polyform.jl

@@ -45,4 +45,11 @@ end
     @eqtest simplify_fractions(2x / (3(x^3)*y)) == simplify_fractions(2/(3*(y*x^2)))
     @eqtest simplify_fractions(x^2 / (3(x^3)*y)) == simplify_fractions(1/(3*(y*x)))
     @eqtest simplify_fractions((3(x^3)*y) / x^2) == simplify_fractions(3*(y*x))
+    @eqtest simplify_fractions(x^2/x^4) == (1/x^2)
+    @eqtest simplify_fractions(x^2/x^3) == 1/x
+    @eqtest simplify_fractions(x^3/x^2) == x
+    @eqtest simplify_fractions(x^2/x^2) == 1
+    @eqtest simplify_fractions(3x^2/x^3) == 3/x
+    @eqtest simplify_fractions(3*(x^2)*(y^3)/(3*(x^3)*(y^2))) == y/x
+    @eqtest simplify_fractions(3*(x^x)/x*y) == 3*(x^x)/x*y
 end