* Данный текст распознан в автоматическом режиме, поэтому может содержать ошибки

Символьные преобразования выражений 243 3.9.6. Работа с пакетом рациональных нормальных форм RationalNormalForms В Maple 7/8 вошел пакет рациональных нормальных форм RationalNormalForms: > with(RationalNormalForms); [AreSimilar, IsHypergeometricTerm, MinimalRepresentation, PolinomialNormalForm, RationalCanonicalForm] Этот пакет обеспечивает следующие возможности: • конструирование полиномиальных нормальных форм рациональных функций; • конструирование рациональных канонических форм для рациональных функций; • конструирование минимальных представлений для гипергеометрических термов. Ввиду очевидности названий функций этого пакета ограничимся примерами его применения: > F := (n^2-2)*(3*n+3)!/((n+3)!*(2*n+5)!); > IsHypergeometricTerm(F,n,’certificate’); true > certificate; > (z,r,s,u,v) := RationalCanonicalForm[1](certificate,n); > MinimalRepresentation[1](F,n,k);