Stoopid google.
On Tuesday, 26 August 2014 02:48:11 UTC+2, Bill Hart wrote:
>
> I am still curious how you would express that
>>>> UnivariatePolynomialRing{QQ} <: EuclideanDomans but the same doesn't
>>>> hold for UnivariatePolynomialRing{ZZ} in Julia.
>>>
>>>
So it doesn't get lost in all that noise. Here is an actual Julia session
expressing this:
julia> abstract Ring
julia> type ZZ <: Ring
end
julia> type Poly{T <: Ring} <: Ring
#blah
end
julia> abstract Field <: Ring
julia> type QQ <: Field
end
julia> typealias EuclideanDomain{T <: Field} Union(Field, Poly{T}, ZZ)
Union(Poly{T<:Field},Field,ZZ)
With all that defined, here is what Julia replies in response to various
questions about this:
julia> Field <: EuclideanDomain
true
julia> Ring <: EuclideanDomain
false
julia> ZZ <: EuclideanDomain
true
julia> QQ <: EuclideanDomain
true
julia> Poly{ZZ} <: EuclideanDomain
false
julia> Poly{QQ} <: EuclideanDomain
true
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
