Дьяконов В. Maple 7 - Учебный курс (1185900), страница 90
Текст из файла (страница 90)
Примеры применения этого пакета можно найти в справочной базе данных системы. Пакет представляет интерес лля физиков-теоретиков, работающих в области общей теории относительности и ее приложений. Для них (но не для большинства пользователей) приведенные данные полезны и понятны. Пакет 0ота~пя Этот небольшой пакет служит для создания доменов — таблиц операций для вычислений. При его загрузке появляется сообщение о переопределениях объектов и список из всего лишь шести функций: б04 Урок 16. Обзор пакетов специального назначения геатаге;н(тв(0опа(па); - — — — — — — — — — — — [)ота]па оега]оп 1.0 — — — — — — - — —- !п[(]аПу г]ейпег[ г]о>пай>а аге Л апг] (.) (Ьс 1п(ейега апг] гайопа!а АЬЬгеу]а(]она, е.с.
[>[>Р Гог Репке[)п[уаг]а(еРО!упоп>]а1, а!ьо гпаг1е >Атаги!па, гйе рго(ес(ес( пашеа Аггау. Ма(г>х ап(1 Агес(ог Ьаие Ьееп ге(]ейпег] ап(1 цпрго(ес(ес[ [Атта]А А(огпу, МигхЫпнегве, Т'сг(ог, 0>?г, з?пзт] Пакет попускает приисищ>ис следующих конструкциИ: Оспа па(еуа)сова пз) Оона з[сос~ о] Осел~па[Сота>г) Вона~па(ехагр!е] А функция аЬои позволяет вывести полный перечень всех опер щий, доступных для до>иена 7: > зпон(7,орегаг(апа): 5>опасогеь Еог сг лтгиссог 7' поте арегаттоп р"е( .ец Ьу -- аге пс: аха~>аы е' * ((псерегз.?) > 7 * . >7 7*> - 7' (7.7*) -= ?' — (7,7) -> 7' — . ? -> ?' 0 ?' !.7' (7,7) -- Воо>еап (7.7) -> Воо>сап' (7 7» - Воо>еап' - : (7.7» - Воо>еап' : (7,7) - Воо>сап' = : (7.7) — Воо>еап' Аьз : 7 — 7' Снагастею зт>с !птерегз' Соегсе : !псерега -> 7' О>и .
(7.7) - Оюоп(?,ЕА1[)' Еис>гсеапноге : 7 -> 1птерегз' Еасгог: 7 -> [7.[[7,!птерегз)*])' бес . 71 — 7' Осоех ; (7.?,нане» - 7' бссех : (7.7,нане.Иене) -> 7' 1прот : Ехргеаз!оп -> Оп>оп(?.ЕА!Щ ' 1пг 7 - Оп(оп(7.ЕА1[)' [се ; 7* - 7' Иах ; (7,7*) -> 7" Приведенный >(и>ко ириыср поясняет созл;шис и исиользоваиис доь)сион 0 (лг>я рациональных лап>иах) и?. [)Ои> целочисленных данных); ° ОГ )(1?7.7?В,З?В); 51 40 - ?[бед)(бб0,130); 10 Следу(о>((а» опера~(г)я показывает, (тг> 1(оыеи 7 являепя таолицси: туре(?,таЫе); п.ие Обзор пакетов узкого назначения 605 М и : (7,7*) -.
Л' Мог)р ; (7,7) — Л' Мовз : (7,7) -> 7' Мог)и1агиаеопогр))!зе : () -> (7 -> 7,7) Мопаа1 : 7 - 7' Оитрот . 7 -> Ехргезззоп' осипов . (7.1птегегз.Л) -> 7' огзее . 7 -> Воо1еап( Ооо (Л.Л,Напе) -> Л' Оно : (7,7) - 7' йдпоов () -. 7 Ве1аю че)ург1пе ; (7 7) -> Воо!еап' Вен (7.7.капе) - 7' Вне : (7,7) - Л' 5 дп : 7 -.
ОМ)ОН(! -).О)' 5па)1е>Еос1зсеапяоге (7,7) -> Воо1еап' 5пгтгее 7 -> [7.[[7.1птедегз)*П ' Туре Ехргезззоп -> Воо)еап' Опав . 7 -= 7' Ошсногпа1 . Л -> [7.7.71' Лего . 7 - Воо1еап' . (7,!птедегз) - 7' Домены позволяют передавать в качестве параметра процедур набор функций ввиде единого цело(о, что и объясняет название этих объектов. Предполагается, что это может привести к заметному сокращению кодов программ вычислений в будущих реализациях системы Мар1е. Пока же возможности доменов скорее выглядят как очередная экзотика, чем как реальное средство для оптимизации вычислений. Потребуется время, чтобы показать, что это не так. Обзор пакетов узкого назначения Мы уже не раз обращали внимание читателя на выборочный характер описания системы Мар1е 7 в данной книге, Хотя она и является одной из самых полных книг по данной системе, книга не претендует на роль детального справочника по Мар!е 7.
Более того, такого справочника в виде книги нет и, вероятно, учитывая быстрые темпы модернизации программы, так и не будет. Для подобного описания Мар1е пришлось бы подготовить мно(т)томное издание, охватыва)ошее практически все области математики. Учитывая это, мы вынуждены отказаться от попытки описать ряд пакетов специального назначения.
Такими пакетами интересуются серьезныс специалисты в области математики и им [не без труда, разумеется) под силу разобраться с назначением функций таких пакетов и примерами их применения, приведенными в справочной системе Мар!е 7. В связи с вышесказаннным, мы ограничимся перечислением оставшихся неизученными пакетов. Пакет функций теории чисел пшпФеогу В этом обширном пакете собрано 46 функций, относящихся к теории чисел иззп(повспеогу): ъчагп)пд, Ше ргосесте() нагое ок!ег Пав Ьееп гес)ей)пео' впт) сорго(естес боб Урок 1б. Обзор пакетов специального назначение 16!ест(, Ь!еотеда, с)гас, с]гаера(, сус(о!от(с, й(ы(логе,2астогея 7асгогле(,2егтат, !тамилл, (пт(ех, штепа! балы, тыс!гас, !лиры, (ллфпгее,!асоЬ(, ьгопескег, Х, (ехепд~е, тсотЬ(пе, тетеппе, т(п(тотыл(а, т~ро(ул, т(ое, тоЬ(ил, тгоо(, тхаг!, леагелгр, птьсолыег, п(Ыепот, тьпитег, ойрат, огт(ег, рт(Ехралт(, ф, и ррг(тгоот, рптгоо(, т(иай ел, гооа ипиу, ла2ерг(те, о, лх(2!астог, лит2лаг, т, йие ] В новой реализации Мар1е 7 число функций было уменьшено.
Большинство функций этого пакета достаточно просты и заинтересовавшийся чптатель вполне в состоянии пронес~и их тестирование самостоятельно. Пакет для работы с р-адическими числами райс Этот весьма специфический пакет солержит следующие функции для работы с р-адическими числами; > нттщраьнс): [агссольр, агссолр, агссойр, агссотр, агсслсар, агсслср, агсяеслр, агслеср, агслтьр, агснпр, агстапьр, агстапр, солар, саяр, сойр, сотр, сесар, слср, еыа1р, ехрапноп, ехрр, (сое(ур, (окр, оп(егр, оп1р, гата(иер, гоо(р, лесар, леер, л(пьр, л(пр, лт(гтр, (азйр, (апр, ыа(иер] В Мар1е 7 число функций этого пакета увеличено почти в четыре раза.
Однако ввиду специфичности данных функций их изучение мы оставляем за читателем для самостоятельной работы. Пакет для работы с гауссовыми целыми числами баиы1п1 Гауссово целое число — это число вида а + !'Ь, где а и Ь вЂ” любые целые рациональные числа, Таким образом, они образуют решетку всех точек с целыми координатами на плоскости комплексных чисел. Пакет бацзз1пс содержит достаточно представительный набор функций для работы с этими числами: » и!та!Оаизз!пт); Ьчагп(па, Ше папе 6!осб Ваз бееп гебебпеб 1 61Ьал(л, 61слгет, 6!й(ы(лог, 6!!асро(у, СКаслет, СК~астог, 6!!аслоте, б!Хсг(, 6!ест(ех, 61Ьегтне, С!(ллт!г, С!(ст, 01тстЬ(пе, 61пеагелц 61поауы, 61погт, О!лотта(, 6!огг(ег, 61ры, Ирг!те, 6!т(иат(тел, О!т(ио, 01гет, 61гоогл, 61лцеые, б!лт((Ь, 01лт(атее, б!лт(гт, 61ипппогта1 ] Нетрудно заметить, что в этот набор входят уже известные числовые функции, к именам которых добавлены буквы 61.
Например, функция 611ас~ог(с) раскладывает гауссово число (в том числе комплексное) на простые множители, 61 Оп)(с1, с2) находит наибольший общий делитель гауссовых чисел с1 и с2 и т, д. Функции этого пакета достаточно просты, так что ограничимся приведенными примерами, Гауссовы целые числа в болыпинстве научно-технических расчетов встречаются крайне редко. Так что атот пакет рассчитан на специалистов-математиков, работающих в области теории чисел.
Обзор пакетов узкого назначения б07 Пакет алгебры линейных операторов Оге а1деЬга Пакет Оге а1леЬга солержпт набор функций алгебры линейных операторов, со- став которого вилен после обращения к пакету: » н]Ф(оге а1деьга); [Оге «о ОЕоо(, Оге 1о ((ЕБо(, Ого 1о «1(й, Оге (о з(й((, аиияи!а«огз, а(зр(г««рг. ~((у!' о(яеЬт, ро(у а(кеьт, дзб(у! а(дсьга, гак«( «Ьет ро1у, Ми(! а(ееЬ«а, з(«ен аде(«га, звст е(!т. зяти ес«(ех, лет т«г(1и зкен роиео з(«ет ргет, пьет р«го«(ис«1 Этот пакет поддерживает решение задач в области алгебры линейных операторов.
Инструментальный пакет для линейных рекуррентных уравнений ЕЙНоо!з Э)от пакет полезен математикам, час)о пспользукицпм рскуррепп!ыс отпгщшпия и формулы. Оп дополняет функцик! гзо1че основной библиотеки п содержит следуюп(ие функции: н1Ф(ЬЙЕтоо1з); [йЕсоп!еи(, (1 Есгеа«е, ((Ер(о(, йЕрптрог(, йЕ«е«(исеог«(ег, КЕ(оОГ, йЕ(ог(е((а, ((Е«аргос, аи(о«ЬЗрегз(оп, сопз(соеЯзо(, б, «((крега(ол, а(нсо«пй (из(((п, Пурепгеоимо(з ро(упо(з, га(ро(узо(з, п оса и, з(!(() ) С назначением функций этого пакета можно познакомиться по справочной си- стеме Мар1е 7. Пакет функций дифференциальных форм 01ттогтз В пакете дифференциальных форм содержится следующий рял функции: > н]Ф(о]Г(о«аз]; [ ск", а!, «(еЯоюн уогп!ра«(, раг((у, зса(аграг(, з(«пр(отп, н4ецгее) Демонстрационные материалы по применению этого паке>в входят в гюставку Мар1е 7.
Пакет для работы с рациональными производящими функциями деп1цпс В пакете йеп[ппс, предназначенном для работы с производящими функпиямп, содержатся следующие средства: н(тмдептипс): [ге(' сйагзед, ге(' епсоае, гя( охран«(, гя ()пйгесиг, гбу ЬуЬ«т'«(, где погт, г(1( ругас, гя(' ге(а(е, гк( «едиепсе, «Еу з(тр, гя( (егт, (сгтзса(е) Эти функции представляют специальный интерес для пользователей, работающих в Области теории чисел и рациональных функций. 608 Урок 1б, Обзор пакетов специального назначения Пакет операций для работы с конечными группами Ягоир Этот пакет содержит довольно предстшнггельпый набор функций для работь( с коне сными группами: » н1ЬЬ(агоир): [(хс г(ис с(5, ЕС5, Ь(огтс(!С(аписа ((аис(г(«тел( 5и Сои! идтез, 5у(спн агегощ яда(с, геп(с г, сели а1йег, гоге, созев, сот е((.