MinAssChar

Dear all;

I'm using MinAssChar in the ring of characteristic p=prime.
The obtained solutions of a system modulo p are not the solutions of the original polynomial system.
My question is : How to obtain the solutions in the ring of characteristic zero from those obtained in the ring of characteristic p=prime?

Thank's2

Use several primes, throw away solutions which are "unlucky"
(diffenrent behaviour as for all the other primes...)
and combine the results via
chinrem.
You have either do know a bound for all the solutions
(product of all the primes must be bigger as 2 times the bound)
or you have to check the combination.

Hans Schoenemann