On 24 February 2017 at 01:47, Waldek Hebisch <hebi...@math.uni.wroc.pl> wrote: > Bill Page wrote: >> This is the result when the interpreter fails >> >> (3) -> interpret(4::InputForm)$InputFormFunctions1(PF 5) >> >> An expression involving @ PrimeField(5) actually evaluated to one of >> type PositiveInteger . Perhaps you should use :: PrimeField(5) . >> >> This causes me trouble in some of the things I have been trying to do >> lately with "symbolic expressions" where I am using InputForm as the >> Rep. >> >> It seems to me that the interpret function in InputFormFunctions1 >> should be able to do a better job. > > I think you put your complaint in wrong place. > ... > Coming back to InputFormFunctions1, doing more than it is > doing now would require reimplementing interpreter. Given > that the whole point about InputForm is possiblity to > reuse _existing_ interpreter, putting more ambitious > things into InputFormFunctions1 does not make much > sense. It makes sense to improve interpreter, but there > are limitations to this. >
+1 Yes, on further consideration I agree completely. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.