"Nicolas M. Thiery" <nicolas.thi...@u-psud.fr> writes: > Let me dream a bit. I very much like the idea of Factored(Ring), where > elements are kept in factored form as long as possible, as is done in > FriCas (thanks Martin for the pointer). I would like to have several > variants to choose from: > > - PartiallyFactored(Ring) > The factors are not guaranteed to be relatively prime > - RelativelyPrimeFactored(Ring) > The factors are guaranteed to be relatively prime, but not necessarily > prime themselves > - FullyFactored(Ring) > The factors are all guaranteed to be prime
actually, this would be my dream, too! (I think I proposed something like this on fricas-devel already, but I don't remember well.) But perhaps you should make sure that your Ring is a UFD -- it won't make much sense otherwise, would it? Martin --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
