This is an old thread, I'm giving it a second chance:
> 2) There are several places in algebra which need domains
>which are UFD. I am not sure if Factored can apper
>in any of those places, but it is much more than
>just 'if R has UFD then UFD'.
I'll make a new argument to this:
Cu
> We allow Polynomial(Factored(Integer)) and similar domains so
> probably should implement all operations in Factored which
> make sense.
Just saying, factor(x:POLY FR INT) has nothing to do with
factor(x:FR INT), it's from MULTFACT, and coerced it into
POLY INT first.
Since UFD(R) exports facto
oldk1331 wrote:
>
> I mean remove the
> if R has UniqueFactorizationDomain then UniqueFactorizationDomain
> clause from Factored, because:
>
> 1. There are no other "if R has UFD then UFD" clause in
> src/algebra, which means remove this from Factored will
> not affect other domain's exported
I mean remove the
if R has UniqueFactorizationDomain then UniqueFactorizationDomain
clause from Factored, because:
1. There are no other "if R has UFD then UFD" clause in
src/algebra, which means remove this from Factored will
not affect other domain's exported functions at all.
2. It may mak
