Dimensional analysis with fundeps

[Ashley Yakeley]

--Emailer_-1223820195
Content-Type: text/plain; charset="US-ASCII"

At 2001-04-09 10:29, Dylan Thurston wrote:

>I hadn't thought about doing rational arithmetic with GCDs.  Might be
>nice.

Herewith my attempt. I can't test it though, it runs afoul of one of the 
many bugs in Hugs' type-extension handling, and I haven't been able to 
run GHC on my MacOS X box.

-- 
Ashley Yakeley, Seattle WA

--Emailer_-1223820195
Content-Type: application/octet-stream; name="MarkerType.hs";
 x-mac-type="54455854";
 x-mac-creator="522A6368"
Content-transfer-encoding: base64
Content-Disposition: Attachment; filename="MarkerType.hs"

LS0gVGhpcyBpcyB3cml0dGVuIGluIEhhc2tlbGwuCm1vZHVsZSBNYXJrZXJUeXBlIHdoZXJlCgl7
CglkYXRhIFNpbmdsZXRvbiBhID0gU2luZ2xldG9uOwoKCWluc3RhbmNlIFNob3cgKFNpbmdsZXRv
biBhKSB3aGVyZQoJCXsKCQlzaG93IFNpbmdsZXRvbiA9ICJzaW5nbGV0b24iOwoJCX07CgoJLS0g
Qm9vbGVhbnMgZXhwcmVzc2VkIGFzIEhhc2tlbGwgdHlwZXMuCglkYXRhIFRydWU7CglkYXRhIEZh
bHNlOwoJCgljbGFzcyBCb29sZWFuVHlwZSBhOwoJaW5zdGFuY2UgQm9vbGVhblR5cGUgVHJ1ZTsK
CWluc3RhbmNlIEJvb2xlYW5UeXBlIEZhbHNlOwoKCWNsYXNzIElzIGE7CglpbnN0YW5jZSBJcyBU
cnVlOwoKCWNsYXNzIElzbnQgYTsKCWluc3RhbmNlIElzbnQgRmFsc2U7CgoJY2xhc3MgRWl0aGVy
SXMgYSBiOwoJaW5zdGFuY2UgRWl0aGVySXMgVHJ1ZSBiOwoJaW5zdGFuY2UgRWl0aGVySXMgRmFs
c2UgVHJ1ZTsKCgljbGFzcyBCb3RoQXJlIGEgYjsKCWluc3RhbmNlIEJvdGhBcmUgVHJ1ZSBUcnVl
OwoJCgljbGFzcyBOb3QgYSBiIHwgYSAtPiBiOwoJaW5zdGFuY2UgTm90IFRydWUgRmFsc2U7Cglp
bnN0YW5jZSBOb3QgRmFsc2UgVHJ1ZTsKCQoJY2xhc3MgT3IgYSBiIGMgfCBhIGIgLT4gYzsKCWlu
c3RhbmNlIE9yIFRydWUgYiBUcnVlOwoJaW5zdGFuY2UgT3IgRmFsc2UgYiBiOwoJCgljbGFzcyBB
bmQgYSBiIGMgfCBhIGIgLT4gYzsKCWluc3RhbmNlIEFuZCBUcnVlIGIgYjsKCWluc3RhbmNlIEFu
ZCBGYWxzZSBiIEZhbHNlOwoKCWNsYXNzIFBpY2sgd2hpY2ggdCBmIHIgfCB3aGljaCB0IGYgLT4g
cjsKCWluc3RhbmNlIFBpY2sgVHJ1ZSAgdCBmIHQ7CglpbnN0YW5jZSBQaWNrIEZhbHNlIHQgZiBm
OwoKCXstLQoJSW50ZWdlcnMgZXhwcmVzc2VkIGFzIEhhc2tlbGwgdHlwZXMuIFplcm8gaXMgMC4K
CUlmIHR5cGUgYSBpcyBaZXJvIG9yIHBvc2l0aXZlLCB0aGVuIChTdWNjIGEpIGlzIHBvc2l0aXZl
OwoJaWYgdHlwZSBhIGlzIFplcm8gb3IgbmVnYXRpdmUsIHRoZW4gKFByZWQgYSkgaXMgbmVnYXRp
dmUuCglUaGlzIGlzIHZlcnkgY3J1ZGUgYW5kIHNob3VsZCBiZSByZXBsYWNlZCB3aXRoIHNpZ24t
bWFnbml0dWRlIAoJcmVwcmVzZW50YXRpb24uCgktLX0KCglkYXRhIFplcm87CglkYXRhIFN1Y2Mg
bjsKCWRhdGEgUHJlZCBuOwoKCWNsYXNzIE5hdHVyYWxUeXBlIGE7CglpbnN0YW5jZSBOYXR1cmFs
VHlwZSBaZXJvOwoJaW5zdGFuY2UgTmF0dXJhbFR5cGUgKFN1Y2MgYSk7CgoJY2xhc3MgSW50ZWdl
clR5cGUgYTsKCWluc3RhbmNlIEludGVnZXJUeXBlIFplcm87CglpbnN0YW5jZSBJbnRlZ2VyVHlw
ZSAoU3VjYyBhKTsKCWluc3RhbmNlIEludGVnZXJUeXBlIChQcmVkIGEpOwoKCXR5cGUgT25lCT0g
U3VjYyBaZXJvOwoJdHlwZSBUd28JPSBTdWNjIE9uZTsKCXR5cGUgVGhyZWUJPSBTdWNjIFR3bzsK
CXR5cGUgRm91cgk9IFN1Y2MgVGhyZWU7Cgl0eXBlIEZpdmUJPSBTdWNjIEZvdXI7Cgl0eXBlIFNp
eAk9IFN1Y2MgRml2ZTsKCXR5cGUgU2V2ZW4JPSBTdWNjIFNpeDsKCXR5cGUgRWlnaHQJPSBTdWNj
IFNldmVuOwoJdHlwZSBOaW5lCT0gU3VjYyBFaWdodDsKCXR5cGUgVGVuCT0gU3VjYyBOaW5lOwoJ
dHlwZSBNaW51c09uZSA9IFByZWQgWmVybzsKCXR5cGUgTWludXNUd28gPSBQcmVkIE1pbnVzT25l
OwoJdHlwZSBNaW51c1RocmVlID0gUHJlZCBNaW51c1R3bzsKCgljbGFzcyBTdWNjZXNzb3IgYSBi
IHwgYSAtPiBiOwoJaW5zdGFuY2UgU3VjY2Vzc29yIFplcm8gT25lOwoJaW5zdGFuY2UgU3VjY2Vz
c29yIChTdWNjIGEpIChTdWNjIChTdWNjIGEpKTsKCWluc3RhbmNlIFN1Y2Nlc3NvciAoUHJlZCBh
KSBhOwoKCWNsYXNzIFByZWRlY2Vzc29yIGEgYiB8IGEgLT4gYjsKCWluc3RhbmNlIFByZWRlY2Vz
c29yIFplcm8gTWludXNPbmU7CglpbnN0YW5jZSBQcmVkZWNlc3NvciAoU3VjYyBhKSBhOwoJaW5z
dGFuY2UgUHJlZGVjZXNzb3IgKFByZWQgYSkgKFByZWQgKFByZWQgYSkpOwoKCWNsYXNzIElzQXRM
ZWFzdCBhIGIgYyB8IGEgYiAtPiBjOyAtLSBjID09IChhID49IGIpCglpbnN0YW5jZSBJc0F0TGVh
c3QgWmVybyBaZXJvIFRydWU7CgoJaW5zdGFuY2UgSXNBdExlYXN0IFplcm8gKFByZWQgYikgVHJ1
ZTsKCWluc3RhbmNlIElzQXRMZWFzdCBaZXJvIChTdWNjIGIpIEZhbHNlOwoKCWluc3RhbmNlIElz
QXRMZWFzdCAoU3VjYyBhKSBaZXJvIFRydWU7CglpbnN0YW5jZSBJc0F0TGVhc3QgKFByZWQgYSkg
WmVybyBGYWxzZTsKCglpbnN0YW5jZSBJc0F0TGVhc3QgKFN1Y2MgYSkgKFByZWQgYikgVHJ1ZTsK
CWluc3RhbmNlIElzQXRMZWFzdCAoUHJlZCBhKSAoU3VjYyBiKSBGYWxzZTsKCglpbnN0YW5jZSAo
SXNBdExlYXN0IGEgYiBjKSA9PiBJc0F0TGVhc3QgKFN1Y2MgYSkgKFN1Y2MgYikgYzsKCWluc3Rh
bmNlIChJc0F0TGVhc3QgYSBiIGMpID0+IElzQXRMZWFzdCAoUHJlZCBhKSAoUHJlZCBiKSBjOwoK
CWNsYXNzIElzRXZlbiBhIGUgfCBhIC0+IGU7CglpbnN0YW5jZSBJc0V2ZW4gWmVybyBUcnVlOwoJ
aW5zdGFuY2UgKElzRXZlbiBhIGUsTm90IGUgbmUpID0+IElzRXZlbiAoU3VjYyBhKSBuZTsKCWlu
c3RhbmNlIChJc0V2ZW4gYSBlLE5vdCBlIG5lKSA9PiBJc0V2ZW4gKFByZWQgYSkgbmU7CgoJY2xh
c3MgQXRMZWFzdCBhIGI7IC0tIGEgPj0gYgoJaW5zdGFuY2UgKElzQXRMZWFzdCBhIGIgVHJ1ZSkg
PT4gQXRMZWFzdCBhIGI7CgoJY2xhc3MgQXRMZWFzdE9uZSBhOwoJaW5zdGFuY2UgKE5hdHVyYWxU
eXBlIGEpID0+IEF0TGVhc3RPbmUgKFN1Y2MgYSk7CgoJLS0gSW50ZWdlciBhZGRpdGlvbi4gQm90
aCBvcGVyYW5kcyBhcmUgZWl0aGVyIHBvc2l0aXZlLCBuZWdhdGl2ZQoJLS0gb3IgemVybywgc28g
d2UgY29uc2lkZXIgMyozPTkgY2FzZXMuCgljbGFzcyBBZGQgYSBiIGMgfCBhIGIgLT4gYzsKCglp
bnN0YW5jZSBBZGQgWmVybyBaZXJvIFplcm87CgoJaW5zdGFuY2UgQWRkIFplcm8gKFN1Y2MgYikg
KFN1Y2MgYik7CglpbnN0YW5jZSBBZGQgWmVybyAoUHJlZCBiKSAoUHJlZCBiKTsKCglpbnN0YW5j
ZSBBZGQgKFN1Y2MgYikgWmVybyAoU3VjYyBiKTsKCWluc3RhbmNlIEFkZCAoUHJlZCBiKSBaZXJv
IChQcmVkIGIpOwoKCWluc3RhbmNlIEFkZCBhIGIgYyA9PiBBZGQgKFN1Y2MgYSkgKFN1Y2MgYikg
KFN1Y2MgKFN1Y2MgYykpOwoJaW5zdGFuY2UgQWRkIGEgYiBjID0+IEFkZCAoUHJlZCBhKSAoUHJl
ZCBiKSAoUHJlZCAoUHJlZCBjKSk7CgoJaW5zdGFuY2UgQWRkIGEgYiBjID0+IEFkZCAoU3VjYyBh
KSAoUHJlZCBiKSBjOwoJaW5zdGFuY2UgQWRkIGEgYiBjID0+IEFkZCAoUHJlZCBhKSAoU3VjYyBi
KSBjOwoKCWNsYXNzIE5lZ2F0ZSBhIGIgfCBhIC0+IGI7CglpbnN0YW5jZSBOZWdhdGUgWmVybyBa
ZXJvOwoJaW5zdGFuY2UgKE5lZ2F0ZSBhIGIpID0+IE5lZ2F0ZSAoU3VjYyBhKSAoUHJlZCBiKTsK
CWluc3RhbmNlIChOZWdhdGUgYSBiKSA9PiBOZWdhdGUgKFByZWQgYSkgKFN1Y2MgYik7CgoJY2xh
c3MgU3ViIGEgYiBjIHwgYSBiIC0+IGM7CgoJaW5zdGFuY2UgU3ViIFplcm8gWmVybyBaZXJvOwoK
CWluc3RhbmNlIE5lZ2F0ZSBiIGMgPT4gU3ViIFplcm8gKFN1Y2MgYikgKFByZWQgYyk7CglpbnN0
YW5jZSBOZWdhdGUgYiBjID0+IFN1YiBaZXJvIChQcmVkIGIpIChTdWNjIGMpOwoKCWluc3RhbmNl
IFN1YiAoU3VjYyBiKSBaZXJvIChTdWNjIGIpOwoJaW5zdGFuY2UgU3ViIChQcmVkIGIpIFplcm8g
KFByZWQgYik7CgoJaW5zdGFuY2UgU3ViIGEgYiBjID0+IFN1YiAoU3VjYyBhKSAoU3VjYyBiKSBj
OwoJaW5zdGFuY2UgU3ViIGEgYiBjID0+IFN1YiAoUHJlZCBhKSAoUHJlZCBiKSBjOwoKCWluc3Rh
bmNlIFN1YiBhIGIgYyA9PiBTdWIgKFN1Y2MgYSkgKFByZWQgYikgKFN1Y2MgKFN1Y2MgYykpOwoJ
aW5zdGFuY2UgU3ViIGEgYiBjID0+IFN1YiAoUHJlZCBhKSAoU3VjYyBiKSAoUHJlZCAoUHJlZCBj
KSk7CgoJY2xhc3MgQWJzIGEgYiB8IGEgLT4gYjsKCWluc3RhbmNlIEFicyBaZXJvIFplcm87Cglp
bnN0YW5jZSBBYnMgKFN1Y2MgYSkgKFN1Y2MgYSk7CglpbnN0YW5jZSAoQWJzIGEgYikgPT4gQWJz
IChQcmVkIGEpIChTdWNjIGIpOwoKCWNsYXNzIEdDRCBhIGIgZ2NkIHwgYSBiIC0+IGdjZDsKCWlu
c3RhbmNlIEdDRCBaZXJvIGIgYjsKCWluc3RhbmNlIEdDRCAoU3VjYyBhKSBaZXJvIChTdWNjIGEp
OwoJaW5zdGFuY2UKCQkoCgkJU3ViIGEgYiBhbWIsCgkJQWJzIGFtYiBkaWZmLAoJCUlzQXRMZWFz
dCBaZXJvIGFtYiBhYmlnZ2VyLAoJCVBpY2sgYWJpZ2dlciBiIGEgc21hbGxlciwKCQlHQ0QgKFN1
Y2Mgc21hbGxlcikgZGlmZiBnY2QKCQkpCgkJPT4gR0NEIChTdWNjIGEpIChTdWNjIGIpIGdjZDsK
CgktLSBvbmx5IGluc3RhbmNlcyBmb3IgYSBtb2QgYiA9PSAwCgljbGFzcyBEaXZpZGUgYSBiIGMg
fCBhIGIgLT4gYzsKCWluc3RhbmNlCgkJKAoJCU5lZ2F0ZSBhIG5hLAoJCU5lZ2F0ZSBiIG5iLAoJ
CURpdmlkZSBuYSAoU3VjYyBuYikgYwoJCSkKCQk9PiBEaXZpZGUgYSAoUHJlZCBiKSBjOwoJaW5z
dGFuY2UgRGl2aWRlIFplcm8gKFN1Y2MgYikgWmVybzsKCWluc3RhbmNlCgkJKAoJCVN1YiBhIGIg
YW1iLAoJCURpdmlkZSBhbWIgKFN1Y2MgYikgYwoJCSkKCQk9PiBEaXZpZGUgKFN1Y2MgYSkgKFN1
Y2MgYikgKFN1Y2MgYyk7CglpbnN0YW5jZQoJCSgKCQlBZGQgYSBiIGFwYiwKCQlEaXZpZGUgYXBi
IChTdWNjIGIpIGMKCQkpCgkJPT4gRGl2aWRlIChQcmVkIGEpIChTdWNjIGIpIChQcmVkIGMpOwoJ
CglkYXRhIFJhdGlvbmFsVHlwZSBudW0gZGVub207CgkKCWNsYXNzIE1ha2VSYXRpb25hbCBuIGQg
ciB8IG4gZCAtPiByOwoJaW5zdGFuY2UKCQkoCgkJR0NEIG4gZCBnY2QsCgkJRGl2aWRlIG4gZ2Nk
IG51bSwKCQlEaXZpZGUgZCBnY2QgZGVub20KCQkpCgkJPT4gTWFrZVJhdGlvbmFsIG4gZCAoUmF0
aW9uYWxUeXBlIG51bSBkZW5vbSk7Cgl9Cg==
--Emailer_-1223820195--