Re: [mizar] Looking for Field of Fractions

[Piotr Rudnicki <piotr@sedalia.cs.ualberta.ca>]

Hi,

For a week or so Zac was quite happy that his message was not showing up
om mizar-forum as he found what he needed in MML shortly after he asked.

Anyway, a question asked on May 16 shows up on May 24.  Have the
electromagnetic waves slow down recently?

Cheers,

-- 
Piotr Rudnicki        CompSci, University of Alberta, Edmonton, Canada
                      http://web.cs.ualberta.ca/~piotr


On Tue, May 16, 2006 at 10:57:44AM -0600, Zachary Friggstad wrote:
> Hi,
> 
> My name is Zac Friggstad and I am a relatively new Mizar user.  I am 
> looking for a construction of the field of fractions of a given integral 
> domain.  I can't seem to find any such construction in the MML.  Am I 
> overlooking something in the MML or is anyone currently working on this?
> 
> Thanks,
> -Zac
> 
> MSc. Student of Computing Science
> University of Alberta