emphasize that "for" loops have a scope, in the documentation

    i1 : for i in 0 .. 0 do f := 1

    i2 : f

    o2 = f

    o2 : Symbol


Also, that in

    i1 : QQ[a]

    o1 = QQ[a]

    o1 : PolynomialRing

    i2 : a := 5

    o2 = 5

    i3 : ideal "a"

    o3 = ideal(a)

    o3 : Ideal of QQ[a]

the string "a" is evaluated in the global scope, not the local one!
