define n when you define evalf (BasisDependent)