Функция msolve(eqns,vars.m) или msolve(eqns,m) обеспечивает решение вида Z mod m (то есть при подстановке решения левая часть4 при делении нат дает остаток, равный правой части уравнения). При отсутствии решения возвращается объект NULL (пустой список).
Ниже даны примеры использования функции msolve:
> mso1ve({3*x-4*y=l,7*x+y=2}.12);
{у = 5,х=3}
> msolve(2^i=3.19);
{(=13 + 18_Z7~}
> mso1ve(8*j-2,x,17);
{/ = 3 + 8*}
На этом мы завершаем рассмотрение функций для решения уравнений, неравенств и систем с ними.