For inspiration, it might be worth comparing to Allan Steel's algebraically closed field construction: http://magma.maths.usyd.edu.au/magma/htmlhelp/text702.htm At no point is the field actually algebraically closed--it is just the affine algebra on the elements that you've already adjoined--but when you adjoin a new element it compares it to the existing one and inductively builds from there...
John Voight Assistant Professor of Mathematics University of Vermont [EMAIL PROTECTED] [EMAIL PROTECTED] http://www.cems.uvm.edu/~voight/ --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com 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://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---
