2008/8/22 William Stein <[EMAIL PROTECTED]>: >> This leaves a question almost certainly for William: is it really >> sensible to have one class serve both as the structure to hold "prime >> factorizations" for UFDs and other rings, as well as to hold lists of >> subspaces with multiplicities? > > I use one word for both: "factorization" :-)
The issue to me is that while a Factorization as currently implemented can hold such a thing, some of the Factorization methods don't make sense and/or don't work. For example if you set F = ModularSymbols(11,4).factorization() (and why not), then F.value() crashes. That's why I thought it would be sensible to separate out a structure for holding an abstract list of objects with multiplicities (e.g. the above F) and a richer one for things like factor(x^20-1) or factor(1000). For the moment I am taking a compromise approach so that the "optional" methods just return None if they cause an exception. John > >> If so, perhaps we need to refactor this to have a base class which >> just handles the basics, with (at least) 2 derived classes, one for >> rings factorizations and one for additive decompositions? > > Sure, go for it. As long as I don't have to do the work, it sounds > good to me. > > -- William > > > > --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
