On 17/05/07, skaller <[EMAIL PROTECTED]> wrote: > Part 2 .. Notes on the Grammar > ****************************** > B. Expression grammar is basically 4 forms: > > prefixop expr > expr postfixop > expr infixop expr > atom > > In this formulation, atom or operator can be compound, > for example: > > let expr in expr > > is really a prefix form, with prefixop = let expr in.
I like the postfix form in Magma: eg k := NumberField(u^2 + u + 2) where u is PolynomialRing(QQ).1; There's an equivalent form with ":=" in place of "is". The reason I like this is that it gets the expression that you're really interested in up front at the beginning of the line, where it's the first thing you read. This might already exist in felix, but I didn't see it in the manual... ben -- You know we all became mathematicians for the same reason: we were lazy. --Max Rosenlicht ------------------------------------------------------------------------- This SF.net email is sponsored by DB2 Express Download DB2 Express C - the FREE version of DB2 express and take control of your XML. No limits. Just data. Click to get it now. http://sourceforge.net/powerbar/db2/ _______________________________________________ Felix-language mailing list Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
