Странное поведение solve.

[AlexxZ2]

Не скажет ли кто-нибудь почему Maple10,
вот это решает на ура: solve({x^2+x+y=10,x=2*y});
результат: {x = -4, y = -2}, {x = 5/2, y = 5/4}

А вот это решать не хочет: solve({x^2+x+y=10,x=3*y});
результат: {x = RootOf(3*_Z^2+4*_Z-30,label = _L51), y = 1/3*RootOf(3*_Z^2+4*_Z-30,label = _L51)}

Хотя последнее решается элементарной подстановкой.
Спасибо.

[watewatick]

Попробуй вот так:
sys:=solve({x^2+x+y=10,x=3*y};
allvalues(sys);

[aar]

Формально solve все решил. Если пользователя не устраивает такой вид результата, можно его отконвертировать:

Код: Выделить всё

> convert(solve({x^2+x+y = 10, x = 3*y}, {x, y}), radical);

   {x = -2/3+(1/3)*sqrt(94), y = -2/9+(1/9)*sqrt(94)}


[Андрей М.]

> evalf(solve({x^2+x+y=10,x=3*y}));

{x = 2.565119905, y = 0.8550399682}

[AlexxZ2]

А возможно так настроить, чтобы convert() или allvalues() использовать для таких простых случаев не надо было?
А также, в чем же причина разной обработки: solve({x^2+x+y=10,x=2*y}); и solve({x^2+x+y=10,x=3*y}); ?

[aar]

> _EnvExplicit := true;
> solve({x^2+x+y = 10, x = 3*y});

Разница из-за того, что в первом случае ответ -- рациональные числа, во втором -- числа с радикалами.

[Учитель]

См. справку по RootOf. Из нее все должно быть ясно и в этом вопросе.

[AlexxZ2]

По поводу хелпа по RootOf понятно. Не понятно одного, зачем вообще так сделали? Куда проще в моем примере было таки вывести эти 2 несчастных комплексных корня и решить систему, чем отправлять меня к хелпу и выдавать полную лабуду для среднего смотрящего?