Sage manifoldlari - Sage Manifolds - Wikipedia

SageManifolds (SageMath uslubidan so'ng) - bu to'liq qo'shilgan kengaytma SageMath, sifatida ishlatilishi kerak paket uchun differentsial geometriya va tensor hisobi. Loyihaning rasmiy sahifasi sagemanifolds.obspm.fr. Uni ishlatish mumkin CoCalc.

SageManifolds bilan shug'ullanadi farqlanadigan manifoldlar o'zboshimchalik o'lchovi. Asosiy ob'ektlar tensor maydonlari va emas tensor komponentlari berilgan vektor ramkasida yoki koordinatalar jadvalida. Boshqacha qilib aytganda, manifoldga turli xil diagrammalar va ramkalar kiritilishi mumkin va berilgan tensor maydoni ularning har birida tasvirlarga ega bo'lishi mumkin.

Davolangan manifoldlarning muhim klassi bu psevdo-Riemann manifoldlari, ular orasida Riemann manifoldlari va Lorentsiya manifoldlari uchun, ilovalar bilan Umumiy nisbiylik. Xususan, SageManifolds ning hisoblashini amalga oshiradi Riemann egriligi tensori va tegishli ob'ektlar (Ricci tensori, Veyl tensori ). SageManifolds ham shug'ullanishi mumkin umumiy affin aloqalari, shart emas Levi-Civita bittasi.

Funktsiyalar

Versiya	Sana	Tavsif (Kimdan Changelog )
0.1	2013 yil 7-iyul	Birinchi marta chiqarilgan
0.2	2013 yil 12 sentyabr	Oltita sinfni aniqladilar va "ko'plab doktestlar Sage 5.11 ga mos ravishda o'zgarib ketdi. Har bir sinfda yangi usullar.
0.3	2013 yil 24-noyabr	Rivojlanish ombori ko'chirildi svn ga git. Yangi namunadagi ishchi varaqlar. Ko'proq sinflar va usullar (ba'zilari Sage dan meros bo'lib qolgan).
0.4	2014 yil 10-fevral	Yangi sinflar, a'zolari va usullari.
0.5	2014 yil 12-iyul	Bu tensor maydonlarini, ya'ni skalar maydonlari algebrasi ustidagi modullarni tavsiflash uchun algebraik tuzilmalarni kiritishni o'z ichiga olgan katta versiya bo'lib, ular orasida cheklangan darajadagi erkin modullar mavjud. Bunga Sage orqali erishiladi `Ota-ona`/`Element` sxema va majburlash modeli.
0.6	2014 yil 28 sentyabr	Diagrammalar uchun grafik chiqish (usul `Chart.plot ()`) va ball (usul `Point.plot ()`); ba'zi bir misollar. Tensor qisqarishi va tensor nosimmetrlanishini ko'rsatish uchun indeks yozuvlarini kiritish (yangi sinf) `TensorWithIndices`); quyidagi havolalarni ko'ring: 1, 2. Usullarning argumenti `nosimmetrik ()` va `antisimetriya ()` tensor sinflarida endi to'g'ridan-to'g'ri indeks pozitsiyalarining ketma-ketligi (va endi bunday ketma-ketlikni o'z ichiga olgan bitta ro'yxat / tuple bo'lmaydi). Usul `self_contract ()` tenzor sinflari nomi o'zgartirildi `iz ()`. Tensor qisqarishi uchun kod optimallashtirilgan; Bundan tashqari, endi bir nechta tensor qisqarishiga yo'l qo'yiladi. Hujjatlar (ma'lumotnomalar 4 va 5 ) yaxshilandi.
0.7	2015 yil 12 mart	Oxirgi foydalanuvchi uchun yangi xususiyatlar mavjud manifoldlarda egri chiziqlarni kiritish (ba'zi chizish qobiliyatlari bilan) manifoldlar orasidagi differentsial xaritalashni takomillashtirish, shu jumladan xaritalash tarkibi va xaritalash differentsiali erkin modullar o'rtasida homomorfizmlarni kiritish
0.8	2015 yil 16-may	Oxirgi foydalanuvchi uchun o'zgarishlar: Vektorli maydonlarning uchastkasi: yangi usul `VectorField.plot ()` Og'ir hisob-kitoblarni parallellashtirish imkoniyati: parallellik asosiy tensor hisobi (arifmetika, qisqarish) va afinaviy birikmalar (ulanish koeffitsientlari, tenzor maydonidagi harakat, Rimann egrilik tenzori) bo'yicha hisoblash uchun amalga oshiriladi. Qisman lotinlarning yaxshi namoyishi Matematikaning standart funktsiyalari skalar maydonlarida exp, cos, sin va boshqalarda Tensor komponentlarini ro'yxat sifatida ko'rsatish, har bir satr uchun bitta: yangi usullar `TensorField.display_comp ()` va `FreeModuleTensor.display_comp ()` Aloqa koeffitsientlarining yaxshi namoyishi: yangi usul `AffConnection.display ()` Christoffel ramzlarining yaxshi namoyishi: yangi usul `Metric.christoffel_symbols_display ()` Grafik o'tish xaritalarini yaxshi namoyish etish: yangi usul `CoordChange.display ()`
0.9	2015 yil 10-dekabr	Bu SageManifolds-ning SageMath-ga to'liq integratsiyalashganligi sababli kodni muhim qayta ishlash natijasida yuzaga keladigan katta versiya (metaticket) #18528 SageMath ishlab chiqaruvchisi trac-da). Asosiy o'zgarishlar Topologik xususiyatlar topologik manifoldlarni (yangi sinf) amalga oshirish orqali differentsial xususiyatlardan ajratildi`Topologik Manifold`) va differentsial manifoldlar uchun sinf yaratish (`Turli xil`) dan meros `Topologik Manifold`. Kollektorlar aniqlanadigan bazaviy maydon endi haqiqiy maydon deb qabul qilinmaydi: har qanday topologik maydon bo'lishi mumkin (diff. Manifoldlar uchun differentsiallikni aniqlash uchun diskret bo'lmagan). Bu maydonni sozlash orqali osonlikcha murakkab manifoldlarni aniqlashga imkon beradi C. Sinf `ManifoldOpenSubset` bostirildi: manifoldlarning ochiq kichik to'plamlari endi misollar `Topologik Manifold` yoki `Turli xil` (chunki top / diff manifoldining ochiq pastki qismi o'z-o'zidan yuqori / diff manifold) Koordinata patchida aniqlangan funktsiyalar endi koordinatalarning ramziy funktsiyalari emas: endi ular umumiy sinfga tegishli. `CoordFunction`, uning subklassi tomonidan tasvirlangan ramziy funktsiyalar (`CoordFunctionSymb`). Bu raqamli nisbiylik kodlari tomonidan yaratilgan kosmik vaqt kabi "sonli" manifoldlarga yo'l ochadi. Yangi singleton klassi tomonidan boshqariladigan yaxshiroq parallellik `Parallelizm` va global funktsiya `use_multiproc`.
0.9.1	19 sentyabr 2016 yil	* To'liq o'zgarish endi Vikipediya (ushbu) sahifasida keltirilgan * Ushbu versiya SageManifolds-ning SageMath-ga qo'shilishi bilan bog'liq keyingi kod o'zgarishlarini tarqatadi (qarang: metaticket # 18528); u shuningdek, bir nechta yangi funktsiyalarni qo'shadi. Yangi funktsiyalar: Schouten tenzori, paxta konformali tenzori va psevdo-riyemen metrikasi bilan bog'liq bo'lgan Cotton-York konformal tenzorini hisoblash. Lie algebroid tuzilishini vektor maydonlarining modullariga qo'shing (sinflar) `VectorFieldModule` va `VectorFieldFreeModule`): yangi usul `VectorField.bracket` Vektorli maydon chizmalarini parallellashtirish To'liq antisimetrik tensor komponentlarining arifmetikasini parallellashtirish Belgilarning LaTeX displeyidan foydalangan holda qisman lotinlarda o'zgaruvchilarni ko'rsatish yaxshilandi (sinf `ExpressionNice`) O'tish xaritalari uchun taqqoslash operatorini qo'shing (sinf `O'zgartirish`) Bazalar (usullar) uchun ro'yxat funktsiyalarini qo'shing `nilufar` va `sherzod` sinflarda `FreeModuleBasis` va `FreeModuleCoBasis`) Sintaktik o'zgarishlar: Usul `CoordChange.set_inverse`: kalit so'zni almashtirish `tekshirish` tomonidan `aniq`, sukut hozir `batafsil = yolg'on` Kirish `Variantlar` global funktsiyalar o'rniga matematik ifodalarni namoyish qilishni boshqarish `nice_derivatives` va `omit_function_args`bostirilgan Funktsiya `set_axes_labels` (3D uchastkalarida yorliqlarni o'rnatish uchun) endi ishga tushirish vaqtida import qilinmaydi; agar kerak bo'lsa, yozish kerak `dan sage.manifolds.utities import set_axes_labels` Funktsiya `xder` (tashqi hosila) endi ishga tushirish vaqtida import qilinmaydi; agar kerak bo'lsa, yozish kerak `dan sage.manifolds.utilities import xder` Sinf `DiffForm`: usul `tashqi_der` qayta nomlandi `tashqi_erivativ` Sinflar `DiffScalarField`, `TensorField` va `TensorFieldParal`: usul `yolg'on` qayta nomlandi `false_derivative`, bilan `yolg'on` ikkinchisining taxallusi sifatida saqlangan Ko'proq ichki o'zgarishlar: Manifold tuzilishi endi aniq singleton sinflari orqali tasvirlangan: `Topologik tuzilish`, `RealTopologicalStructure`, `Differentsial tuzilish` va `RealDifferentialStructure` Sinf `TopologicalManifoldSubset` qayta nomlandi `ManifoldSubset` Sinf `TopologicalManifoldPoint` qayta nomlandi `ManifoldPoint` Manifold pastki to'plamlari endi fasadning ota-onalari emas Sinf `ManifoldSubset`: yangi usullar `ko'tarish` va `orqaga tortmoq` Berilgan diagrammada barcha ramziy koordinatalar funktsiyalarining komutativ algebrasini kiritish: yangi sinf `CoordFunctionSymbRing` va sinf `CoordFunction` endi meros qilib oladi `AlgebraElement` Sinf `FiniteRankFreeModule`: toifasi o'zgartirildi `Modullar (uzuk)` ga `Modullar (uzuk) .FiniteDimensional ()` Python 3 ga o'tishni tayyorlash uchun ba'zi o'zgarishlar (masalan, `chop etish` bilan almashtirildi `chop etish ()`)
1.0	2017 yil 11-yanvar	SageMath 7.5-ga to'liq integratsiyadan tashqari, v0.9.1-ga nisbatan kichik o'zgarishlar mavjud: Sintaktik o'zgarishlar: Usul `fitna` sinflar `RealChart` va `VectorField`: kalit so'z argumenti `nb_values` qayta nomlandi `raqam_values` Usul `tuzilish_kof` sinf `VectorFrame` qayta nomlandi `tuzilish_koeff` Sinf `OpenInterval`: dalil `subinterval_of` qayta nomlandi `atrof-muhit` konstruktorda Sinf `RealLine`: LateX nomi o'zgartirildi `RR` ga `Qalin {R}` Ichki o'zgarishlar: Python3-ga mos keladigan sintaksisdan muntazam foydalanish (SageMath-ning Python3-ga o'tishini tayyorlash uchun); jumladan: Barcha hodisalar `iteritems ()` ga o'zgartirildi `buyumlar ()` Barcha hodisalar `itvalalues ()` ga o'zgartirildi `qiymatlar()` Sinflar `ScalarField` va `TensorField`: usul `nilufar` qayta nomlandi `nilufar` Sinf `TensorField`: usul `nilufar` qayta nomlandi `nilufar` Sinflar `TensorFieldModule`, `VectorFieldModule` va `DiffFormModule`: keshlangan usulni qo'shish `nol` Sinflar `DiffForm` va `DiffFormParal`: usul `tashqi_erivativ` keshlangan (dekorativ orqali `@cached_method`) Sinf `VectorFrame`: usul `tuzilish_koeff` keshlangan (dekorativ orqali `@cached_method`) Boshqa o'zgarishlar: Hujjatlarni takomillashtirish; xususan, ba'zilaridan foydalanishni tasvirlash uchun ma'lumot qo'llanmasiga 3D grafika qo'shilgan `fitna` usullari Foydalanuvchining ba'zi bir kalit so'z argumentlariga o'rnatgan qiymatlari `fitna` usullari aniq o'zgarguncha yangi standart qiymatlarga aylanadi (bu xatti-harakatlar dekorativ tomonidan ta'minlanadi) `@ variantlar`): `TangentVector.plot`: dalil `o'lchov` `VectorField.plot`: argumentlar `max_range`, `o'lchov` va `rang` `DifferentiableCurve.plot`: argumentlar `qalinligi`, `fitna_koinlari`, `max_range` va `aspekt_ratio`
1.0.1	25 mart 2017 yil
1.0.2	2017 yil 21-iyul
1.1	2017 yil 7-dekabr

Qo'shimcha hujjatlar yoqilgan doc.sagemath.org/html/en/reference/manifolds/.

Bepul va ochiq dasturiy ta'minot

SageMath bo'lgani kabi, SageManifolds a ozod va ochiq manba ga asoslangan dasturiy ta'minot Python dasturlash tili. U ostida chiqariladi GNU umumiy jamoat litsenziyasi. SageManifolds-ni yuklab olish va o'rnatish uchun qarang Bu yerga. Bu aniqroq GPL v2 + (ya'ni foydalanuvchi GPL 2-versiyasidan yuqori litsenziyadan foydalanishni tanlashi mumkinligini anglatadi).

Rivojlanish

Manbaning katta qismi chiptalarda joylashgan trac.sagemath.org.

Github omborlari mavjud github.com/sagemanifolds/SageManifolds.

Boshqa havolalar manzilida berilgan sagemanifolds.obspm.fr/contact.html.