Пакет для работы с р-адическими числами padic
Пакет для работы с р-адическими числами padic
Этот весьма специфический пакет содержит следующие функции для работы с р-адическими числами:
> with(padic);
[arccoshp, arccosp,arccothp, arccotp, arccschp, arccscp, arcsechp, arcsecp, arcsinhp, arcsinp, arctanhp, arctanp, coshp, cosp, cothp, cotp, cschp, cscp, evalp, expansion, expp, Icoeffp, logp, orderp, ordp, ratvaluep, rootp, sechp, seep, sinhp,sinp, sqrtp, tanhp,tanp, valuep]
В Maple 15 число функций этого пакета увеличено почти в четыре раза. Однако ввиду специфичности данных функций их изучение мы оставляем за читателем для самостоятельной работы.
Пакет для работы с гауссовыми целыми числами Gausslnt
Гауссово целое число — это число вида а + I*b, где а и b — любые целые рациональные числа. Таким образом, они образуют решетку всех точек с целыми координатами на плоскости комплексных чисел. Пакет Gausslnt содержит достаточно представительный набор функций для работы с этими числами:
> with(GaussInt):
Warning, the name GIgcd has been redefined
[GIbasis, Glchrem, GIdivisor, GIfacpoly, GIfacset, GIfactor, GIfactors, GIgcd, GIgcdex, Glhermite, Glissqr, Gllcm, GImcmbine, GInearest, GInodiv, GInorm, Glnormal, Glorder, GIphi, GIprime, Glquadres, Glquo, GIrem, GIroots, GIsieve, GIsmith ,GIsqrfree, GIsqrt, Glunitnormal ]
Нетрудно заметить, что в этот набор входят уже известные числовые функции, к именам которых добавлены буквы 61. Например, функция GIfactor(c) раскладывает гауссово число (в том числе комплексное) на простые множители, GIgcd(cl, с2) находит наибольший общий делитель гауссовых чисел cl и с2 и т. д. Функции этого пакета достаточно просты, так что ограничимся приведенными примерами. Гауссовы целые числа в большинстве научно-технических расчетов встречаются крайне редко. Так что этот пакет рассчитан на специалистов-математиков, работающих в области теории чисел.
Пакет алгебры линейных операторов Ore_algebra
Пакет Ore_algebra содержит набор функций алгебры линейных операторов, состав которого виден после обращения к пакету:
> with(0re_algebra);
[OrejoJDESol, Ore_to_RESol, Orejojdiff, Ore_to_shift, annihilators, applyopr, diff_algebra, poly, algebra, qshiji_algebra, rand_skew_poly, shift_algebra, skew_algebra, skewjslim, skewjgcdex, skewjydiv, skewjxrwer, skew_prem, skew_product]
Этот пакет поддерживает решение задач в области алгебры линейных операторов.
Инструментальный пакет для линейных рекуррентных уравнений LREtools
Этот пакет полезен математикам, часто использующим рекуррентные отношения и формулы. Он дополняет функцию rsolve основной библиотеки и содержит следующие функции: :
> with(LREtools):
[REcontent, REcreate, REplot, REprimpart, REreduceorder, REtoDE,REtodelta, REtoproc, autodispersion, constcoeffsol,
5,dispersion, divconq, firstlin, hypergeomsols, polysols,ratpolysols, riccati, shift]
С назначением функций этого пакета можно познакомиться по справочной системе Maple 15.
Пакет функций дифференциальных форм difforms
В пакете дифференциальных форм содержится следующий ряд функций:
> with(difforms);
[&^, d, defform,formpart,parity, scalarpart, simpform, wdegree]
Демонстрационные материалы по применению этого пакета входят в поставку Maple 15.
Пакет для работы с рациональными производящими функциями genfunc
В пакете genfunc, предназначенном для работы с производящими функциями, содержатся следующие средства:
> with(genfunc);
[rgf_charseq, rgf_encode, rgf_expqnd, rgfjindrecur, rgfjiybrid, rgfjiorm, rgf_pfrac, rgf_relate, rgf_sequence, rgf_simp, rgfjerm,termscale]
Эти функции представляют специальный интерес для пользователей, работающих в области теории чисел и рациональных функций.
Пакет операций для работы с конечными группами group
Этот пакет содержит довольно представительный набор функций для работы с конечными группами:
> with(group);
[DerivedS, LCS, NormalClosure, RandElement, SnConjugates, Sylow,areconjugate, center,
centralizer, core, cosels, cosrep, derived, elements,groiipmember,grouporder, inter, invperm, isabelian, isnormal,issubgroup, mulperms, normalizer, orbit, parity,
permrep, pres, transgroup ]
Функции этого пакета представляют интерес для математиков, работающих в области конечных групп. Но вряд ли они будут полезны большинству пользователей. Тем не менее, наличие таких функций говорит о полноте функциональных возможностей системы Maple 15.
Пакет для работы с симметрией Ли liesymm
В этом пакете, являющемся реализацией алгоритма Харрисона-Эстабрука, имеется ряд функций:
> withCllesymm);
Warning, the protected name close has been redefined and unprotected
[ c?A,&mod, H,Lie, Lrank, TD, annul, autosimp, close, d, depvars, determine, dvalue, extgen, extvars, getcoeff, getform, hasclosure, hook, indepvars, makeforms, mixpar, prolong, reduce, setup, translate, vfix, wcollect, wdegree, wedgeset, wsubs]
Эти функции достаточно специфичны и могут пригодиться лишь узким специалистам.
Пакет команд для решения уравнений SolveTools
Пакет команд с весьма многообещающим названием SolveTools на самом деле содержит вовсе не средства для решения уравнений, а несколько весьма специфических функций:
> with(SolveTools):
[Basis, Complexity, GreaterComplexity, RationalCoefficients, SortByComplexity]
Функции этого пакета позволяют найти базис выражений, дескрипторы и рациональные коэффициенты. Примеры применения этого пакета очень просты, и с ними несложно ознакомиться. Однако при этом возникает вопрос «Зачем это надо?», который (увы!) остается без ответа.
Пакет для работы с таблицами Spread
Загрузка этого пакета дает средства для работы с таблицами:
> with(Spread);
{CopySelection, CreateSpreddsheet,, EvaluateCurrentSelection, EvahiateSpreadsheet,
GetCellFormula, GetCellVabe, GetFormulaeMatrix, GetMaxCok, GetMaxRows, GetSelection, GetValuesMatrix, lnsertMatrixIntoSelection , IsStale, SetCellFormula, SetMatrix, SetSelection]