Pascal Molin on Fri, 08 Mar 2013 08:01:32 +0100


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: PARI 2.6 syntax 2: [f(x)|x<-a,b(x)]




Well @ is still available, no ? The email analogy is OK : "in the following domain"

Pascal

2013/3/8 Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr>

The symbol <- was chosen because it was similar to Haskell syntax, and
looked similar to both 'element of' ∈ and to a left arrow ←, so it
accomodates both mathematicians and computer scientists faith.

Unfortunately the choice of the symbol <- is problematic because
this leads to an ambiguity between x (<-) a and x < (-a), so we can
only use it immediatly after a vertical bar |, which prevents generalizing
the syntax.

Karim proposes to use <~ instead which is not ambiguous since ~ is not
a valid prefix operator. Unfortunately it is ugly with some fonts where
~ is displayed at the top instead of the middle (looking  like in <˜). Also
it is a 'dead key' on some system (but we already use it for transposition
anyway).

Pascal proposed to use the euro symbol €, but people using US keyboard might
find it hard to type.

Any other suggestion ?

Cheers,
Bill.