Re: [Axiom-developer] Axiom Conference Call Sept 18, 2006

[Gabriel Dos Reis]

Tim --

Many thanks for posting the summary of the conference.

Below I add a small precision.

root <address@hidden> writes:

[...]

| 5) Indefinites. 
| 
|    Tim mentioned that indefinites could be done using provisos.
| 
|    Bill objected that provisos was a proof-theoretic approach
|    and that an algebraic approach might be more axiom-like.
|    Thus, express Indefinite(Integer) as a Poly(Int) domain if there
|    was sufficient coverage.
| 
|    Kai thought that both approaches were needed.
| 
| 6) Kai has a student who wants to work on provisos.
|    Tim agreed to share work with the student.

in both case, I think it was Gaby, not Kai :-)

[...]

| Tim will be generally unavailable until next monday evening.

Have fun!

-- Gaby