Issue 316 (#317)

* close issue #316

* remove changes from a different branch

Author: jverzani

docs/src/extending.md

@@ -35,7 +35,7 @@ Check out both the [`Polynomial`](@ref) and [`ChebyshevT`](@ref) for examples of
 ## Example
 
 The following shows a minimal example where the polynomial aliases the vector defining the coefficients. 
-The constructor ensures that there are no trailing zeros. The `@register` call ensures a common interface. This example subtypes `StandardBasisPolynomial`, not `AbstractPolynomial`, and consequently inherits the methods above that otherwise would have been required. For other bases,  more methods may be necessary to define  (again, refer to [`ChebyshevT`](@ref) for an example).
+The constructor ensures that there are no trailing zeros. The `@register` call ensures a common interface. This example subtypes `StandardBasisPolynomial`, not `AbstractPolynomial`, and consequently inherits the methods above that otherwise would have been required. For other bases, more methods may be necessary to define (again, refer to [`ChebyshevT`](@ref) for an example).
 
 ```jldoctest AliasPolynomial
 julia> using Polynomials

src/abstract.jl

@@ -56,9 +56,9 @@ macro register(name)
             $poly{eltype(cs), Symbol(var)}(cs)
         end
         $poly{T,X}(n::S) where {T, X, S<:Number} =
-            n *  one($poly{T, X})
+            T(n) *  one($poly{T, X})
         $poly{T}(n::S, var::SymbolLike = :x) where {T, S<:Number} =
-            n *  one($poly{T, Symbol(var)})
+            T(n) *  one($poly{T, Symbol(var)})
         $poly(n::S, var::SymbolLike = :x)  where {S  <: Number} = n * one($poly{S, Symbol(var)})
         $poly{T}(var::SymbolLike=:x) where {T} = variable($poly{T, Symbol(var)})
         $poly(var::SymbolLike=:x) = variable($poly, Symbol(var))
@@ -85,8 +85,8 @@ macro registerN(name, params...)
         $poly{$(αs...)}(coeffs::AbstractVector{T}, var::SymbolLike=:x) where {$(αs...),T} =
             $poly{$(αs...),T,Symbol(var)}(coeffs)
 
-        $poly{$(αs...),T,X}(n::Number) where {$(αs...),T,X} = n*one($poly{$(αs...),T,X})
-        $poly{$(αs...),T}(n::Number, var::SymbolLike = :x) where {$(αs...),T} = n*one($poly{$(αs...),T,Symbol(var)})
+        $poly{$(αs...),T,X}(n::Number) where {$(αs...),T,X} = T(n)*one($poly{$(αs...),T,X})
+        $poly{$(αs...),T}(n::Number, var::SymbolLike = :x) where {$(αs...),T} = T(n)*one($poly{$(αs...),T,Symbol(var)})
         $poly{$(αs...)}(n::S, var::SymbolLike = :x) where {$(αs...), S<:Number} =
             n*one($poly{$(αs...),S,Symbol(var)})
         $poly{$(αs...),T}(var::SymbolLike=:x) where {$(αs...), T} = variable($poly{$(αs...),T,Symbol(var)})

test/StandardBasis.jl

@@ -42,6 +42,12 @@ isimmutable(::Type{<:ImmutablePolynomial}) = true
         P == Polynomial && @test typeof(p).parameters[1] == eltype(coeff)
         @test eltype(p) == eltype(coeff)
         @test all([-200, -0.3, 1, 48.2] .∈ domain(p))
+
+        ## issue #316
+        @test_throws InexactError P{Int,:x}([1+im, 1])
+        @test_throws InexactError P{Int}([1+im, 1], :x)
+        @test_throws InexactError P{Int,:x}(1+im)
+        @test_throws InexactError P{Int}(1+im)        
     end
 
 end