On Sat, Nov 7, 2009 at 4:26 AM, Martin Rubey wrote:
>
> Afterthought:
>
> maybe generate a list of all domains D with Finite, and write a
>
> unparse(random()$D::INFORM)
>
> to a file, and generate a testsuite starting with that.
>
> You'll sure find many bugs :-)
>
I am not sure how to make such a list. If this is of special interest
to you it would be best if you did this. :-( I am not looking for
additional work! )
> (2) -> D := PF 1783
>
> (2) PrimeField(1783)
> Type: Domain
> (3) -> ex := random()$D
>
> (3) 760
> Type: PrimeField(1783)
> (4) -> ex::INFORM
>
> Cannot convert from type PrimeField(1783) to InputForm for value
> 760
>
Why does this fail?
(8) -> coerce(ex)@InputForm
An expression involving @ InputForm actually evaluated to one of
type None . Perhaps you should use :: InputForm .
If this is a systematic failure someone should look at the code rather
than generating a lot of test cases.
Regards,
Bill Page.
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to fricas-devel@googlegroups.com
To unsubscribe from this group, send email to
fricas-devel+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
