Cadabra (computer program)

Cadabra
Developer(s)Kasper Peeters
Stable release
2.5.8 / 25 October 2024; 46 days ago (2024-10-25)[1]
Repository
Written inC++, Python
Operating systemLinux, macOS, Microsoft Windows
TypeComputer algebra system
LicenseGPL
Websitecadabra.science

Cadabra is a computer algebra system designed specifically for the solution of problems encountered in classical field theory, quantum field theory and string theory.

The first version of Cadabra was developed around 2001 for computing higher-derivative string theory correction to supergravity.[2][3]

Released under the GNU General Public License, Cadabra is free software.

Cadabra has extensive functionality for tensor polynomial simplification including multi-term symmetries, fermions and anti-commuting variables, Clifford algebras and Fierz transformations, implicit coordinate dependence, multiple index types and many more. The input format is a subset of TeX. Both a command-line and a graphical interface are available.

A Java program inspired by Cadabra called Redberry was developed between 2013 and 2016. It achieved faster speeds for most index contractions with an approach based on the graph isomorphism problem rather than canonicalisation.[4]

See also

References

  1. ^ "GitHub Releases". github.com/kpeeters. Retrieved 10 November 2024.
  2. ^ Peeters, Kasper; Vanhove, Pierre; Westerberg, Anders (2001). "Supersymmetric higher-derivative actions in 10 and 11 dimensions, the associated superalgebras and their formulation in superspace". Classical and Quantum Gravity. 18 (5): 843–890. arXiv:hep-th/0010167. Bibcode:2001CQGra..18..843P. doi:10.1088/0264-9381/18/5/307. ISSN 0264-9381. S2CID 6933319.
  3. ^ Peeters, Kasper; Westerberg, Anders (2004-03-01). "The Ramond–Ramond sector of string theory beyond leading order". Classical and Quantum Gravity. 21 (6): 1643–1665. arXiv:hep-th/0307298. Bibcode:2004CQGra..21.1643P. doi:10.1088/0264-9381/21/6/022. ISSN 0264-9381. S2CID 14418092.
  4. ^ Bolotin, Dmitry; Poslavsky, Stanislav (2015). "Introduction to Redberry: A computer algebra system designed for tensor manipulation". arXiv:1302.1219 [cs.SC].

Further reading

Read other articles:

Penguat kelas-D

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Oktober 2016. Penguat kelas-D adalah sebuah penguat elektronik yang menggunakan pensakelaran transistor sebagai metode utama untuk memberikan daya keluaran, tidak seperti penguat linier kelas-A, kelas-B, ataupun kelas-AB yang menggunakan resistansi aktif dari transi...

 

 

Modular design

Design approach This article is about a design approach. For factory built structures moved in modules, see Modular building. A laptop that is designed to be modular Modular design, or modularity in design, is a design principle that subdivides a system into smaller parts called modules (such as modular process skids), which can be independently created, modified, replaced, or exchanged with other modules or between different systems. Overview This section includes a list of references, relat...

 

 

Kota Magelang

Magelang beralih ke halaman ini. Untuk kabupaten bernama sama, lihat Kabupaten Magelang. Untuk kegunaan lain, lihat Magelang (disambiguasi). Kota MagelangKotaTranskripsi bahasa daerah • Hanacarakaꦩꦒꦼꦭꦁ • Pegonماڬلاڠ • Alfabet JawaMagêlangKlenteng Liong Hok BioPatung Pengeran Diponegoro di Alun-alun Magelang BenderaLambangJulukan: Kota MiliterKota GetukKota Sejuta BungaPetaKota MagelangPetaTampilkan peta JawaKota Magelang...

Yogurt

Food produced by bacterial fermentation of milk For other uses, see Yogurt (disambiguation). YogurtA plate of yogurtTypeFermented dairy productServing temperatureChilledMain ingredientsMilk, bacteria  Media: Yogurt Yogurt (UK: /ˈjɒɡərt/; US: /ˈjoʊɡərt/,[1] from Ottoman Turkish: یوغورت, romanized: yoğurt;[a] also spelled yoghurt, yogourt or yoghourt) is a food produced by bacterial fermentation of milk.[2] Fermentation of sugars in the milk ...

 

 

American League Championship Series

Major League Baseball series ALCS redirects here. For other uses, see ALCS (disambiguation). Part of a series on theMajor League Baseball postseason Wild Card Series ALWCS NLWCS Division Series ALDS NLDS League Championship Series ALCS (Winners list)NLCS (Winners list) World Series List of World Series champions Commissioner's Trophy Teams Appearances Series Streaks Droughts vte Boston Red Sox designated hitter David Ortiz jumps onto home plate after winning Game 4 of the 2004 American League...

 

 

Pipili

Town in Odisha, IndiaPipiliTownMain street of PipiliPipiliLocation in Odisha, IndiaShow map of OdishaPipiliPipili (India)Show map of IndiaCoordinates: 20°07′N 85°50′E / 20.12°N 85.83°E / 20.12; 85.83Country IndiaStateOdishaDistrictPuriElevation25 m (82 ft)Population (2001) • Total14,263Languages • OfficialOdiaTime zoneUTC+5:30 (IST)Vehicle registrationOD 13Websiteodisha.gov.in Pipili is a town and a NAC under jurisdi...

Allan Clarke (penyanyi)

Allan ClarkeInformasi latar belakangNama lahirHarold Allan ClarkeLahir5 April 1942 (umur 82)AsalSalford, Lancashire, InggrisGenreRock, soft rockPekerjaanMusisiInstrumenVokal, gitar, harmonikaTahun aktif1958–1999, 2011,2019-sekarangArtis terkaitThe HolliesSitus webhttps://www.allan-clarke.co.uk/ Harold Allan Clarke (lahir 5 April 1942) adalah seorang penyanyi pop rock Inggris, yang menjadi anggota pendiri dan penyanyi utama asli The Hollies. Ia pensiun dari pementasan pada 1999, dan mas...

 

 

Transportation in Oregon

Complex systems of infrastructure Transportation in OregonOverviewTransit typeRapid transit, commuter rail, buses, private automobile, Taxicab, bicycle, pedestrian, ferriesOperationOperator(s)Oregon Department of Transportation The transportation system of Oregon is a cooperation of complex systems of infrastructure. Background An advertisement for the celebration of the new Coos Bay Railroad History The history of rail in Oregon predates the transcontinental railroad in 1869.[1] As O...

 

 

Perjanjian Dresden

Untuk kegunaan lain, lihat Perjanjian Dresden (disambiguasi). Perjanjian DresdenCanaletto: Dresden, Neumarkt, minyak di kanvas 1749–51JenisPerjanjian perdamaianKonteksPerang Schlesien KeduaDitandatangani25 Desember 1745 (1745-12-25)LokasiDresden, SachsenPihak  Prusia  Monarki Habsburg  Saxony Perjanjian Dresden adalah sebuah perjanjian yang ditandatangani pada tanggal 25 Desember 1745 di ibu kota Sachsen di Dresden oleh Monarki Habsburg, Elektorat Sachsen, dan Kerajaan P...

Amun

Untuk kegunaan lain, lihat Amun (disambiguasi). AmunAmun sering digambarkan mengenakan mahkota bulu tinggiRaja para DewaNama dalam hiroglif Pusat pemujaanThebesSimbolDua bulu vertikal, kepala domba Sphinx (Criosphinx)OrangtuaTidak ada (menciptakan diri sendiri)PasanganAmunetWosretMut Amun, rekonstruksi dari bahasa Mesir Yamānu (juga diucapkan Amon, Amoun, Amen, dan kadang Imen, Yunani Ἄμμων Ammon, dan Ἅμμων Hammon), adalah nama dewa dalam mitologi Mesir yang muncul secara berangs...

 

 

末沙布

尊敬的拿督斯里莫哈末·沙布Mohamad bin Sabu国会议员2018年9月24日末沙布在五角大楼与美国国防部长詹姆斯·马蒂斯会面农业及食品工业部部长现任就任日期2022年12月3日君主最高元首苏丹阿都拉最高元首苏丹依布拉欣·依斯迈首相安华·依布拉欣副职陈泓缣（2022年至2023年）亚瑟古律（2023年至今）前任羅納建迪国防部长任期2018年5月21日—2020年2月24日君主最高元首端姑莫哈末五世...

 

 

四人帮

本條目存在以下問題，請協助改善本條目或在討論頁針對議題發表看法。 此條目可能包含原创研究。 (2018年3月29日)请协助補充参考资料、添加相关内联标签和删除原创研究内容以改善这篇条目。详细情况请参见讨论页。 此條目需要补充更多来源。 (2010年2月4日)请协助補充多方面可靠来源以改善这篇条目，无法查证的内容可能會因為异议提出而被移除。致使用者：请搜索一�...

RAAD (anti-tank guided missile)

This article is about the family of Iranian anti-tank missiles. For Iran's anti-ship missile, see Raad (anti-ship missile). For Iran's air defense system, see Raad (air defense system). For Pakistan's cruise missile, see Ra'ad. Anti-tank missile RAAD RAAD-TTypeAnti-tank missilePlace of originIranService historyIn service1988–presentUsed bySee OperatorsWars2006 Lebanon WarSyrian Civil WarIraqi Civil WarProduction historyDesignerKBMManufacturerParchin Missile Industries ...

 

 

Urease

Multiprotein Nickel-containing complex which hydrolyses urea 3D model of urease from Klebsiella aerogenes, two Ni2+-ions are shown as green spheres.[1]IdentifiersEC no.3.5.1.5CAS no.9002-13-5 DatabasesIntEnzIntEnz viewBRENDABRENDA entryExPASyNiceZyme viewKEGGKEGG entryMetaCycmetabolic pathwayPRIAMprofilePDB structuresRCSB PDB PDBe PDBsumGene OntologyAmiGO / QuickGOSearchPMCarticlesPubMedarticlesNCBIproteins Ureases (EC 3.5.1.5), functionally, belong to the superfamily of amidohydrolas...

 

 

Pinch hitter

Term for a substitute batter in baseball and softball For other uses, see Pinch hitter (disambiguation). This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Pinch hitter – news �...

Sungai Saint Lawrence

Sungai St. Lawrence bahasa Inggris: St. Lawrence River bahasa Prancis: Fleuve Saint-Laurent Montréal-Est, QuebecDaerah aliran sungai Danau-Danau Besar/St. LawrencePeta OpenStreetMap Lua error in Modul:Mapframe at line 384: attempt to perform arithmetic on local 'lat_d' (a nil value).Koordinat:64°30_N_64_30_51.82_W_ 49°40′N 64°30″N 64°30′51.82″W / 49.66667°N 64.5143944°W / 49.66667; -64.5143944{{#coordinates:}}: lintang salah44°20′58.96″N 76�...

 

 

Pakatan Rakyat

Pakatan Rakyat Ketua umumAnwar Ibrahim Lim Kit Siang Abdul Hadi AwangDibentuk1 April 2008Dibubarkan16 Juli 2015Didahului olehBarisan AlternatifDiteruskan olehPakatan HarapanKantor pusatPetaling Jaya, Malaysia (DAP & PKR) Kuala Lumpur, Malaysia (PAS)Keanggotaan Partai Keadilan Rakyat (PKR) Partai Aksi Demokratis (DAP) Partai Islam Se-Malaysia (PAS)IdeologiHybridDewan Rakyat:89 / 222 Dewan Undangan Negeri:241 / 576 Politik MalaysiaPartai politikPemilihan umum Pakatan Rakyat atau P...

 

 

R. R. Thompson (sternwheeler)

R.R. Thompson circa 1890 History NameR.R. Thompson OwnerOregon Steam Navigation Company RouteColumbia River BuilderJ.J. Holland,[2] at The Dalles, Oregon[3] LaunchedJune 1878[1] Maiden voyageSeptember 28, 1878[1] In service1878 Out of service1904[2] FateDismantled[2] NotesRan on middle Columbia 1878-1882, thereafter on lower Columbia, wrecked 1892, raised and repaired[1] General characteristics Displacement1158 gross tons[2] 912...

سسكا صوفيا

سيسكا صوفيا الاسم الكامل سيسكا صوفيا تأسس عام 5 مايو 1948 (منذ 76 سنة) الملعب ملعب فاسيل ليفسكي الوطنيصوفيا، بلغاريا(السعة: 45,000) البلد بلغاريا  الدوري الدوري البلغاري الممتاز  2023-24 الثالث المدرب توميسلاف ستيبتش (4 يونيو 2024–)[1]  الموقع الرسمي الموقع الرسمي  الطقم ا...

 

 

Burmese–Siamese War (1809–1812)

Military conflict Burmese–Siamese War (1809–1812)Part of the Burmese–Siamese warsMap showing the army routes.Green represents Burmese army routes.Red represents Siamese and Kedah army routes.DateJune 1809 – January 1812[2]LocationJunk Ceylon (Phuket), Southern SiamResult Siamese and Kedahan victory;[1] Phuket and many other Southern Siamese towns depopulated for several decadesBelligerents Konbaung dynasty (Burma)[1] Rattanakosin Kingdom (Siam) Kedah[1]...