FriCAS เป็น ระบบพีชคณิตคอมพิวเตอร์อเนกประสงค์ที่เน้นการวิจัยทางคณิตศาสตร์และการพัฒนาอัลกอริทึม ใหม่ๆ อย่างมาก ประกอบด้วยตัวแปลภาษา ตัวคอมไพเลอร์ และ ไลบรารีที่กำลังเติบโต^{[ 1 ]} ซึ่งมีโดเมนและหมวดหมู่มากกว่า 1,000 รายการ

FriCAS มีภาษาโปรแกรมระดับสูงที่มีการกำหนดประเภทอย่างเข้มงวด เรียกว่า SPAD และภาษาโต้ตอบที่คล้ายกันซึ่งใช้การอนุมานประเภทเพื่อความสะดวกAldorถูกพัฒนาขึ้นมาโดยตั้งใจให้เป็นภาษาเตรียมการคอมไพล์รุ่นต่อไปสำหรับ Axiom CAS และ ภาษา ที่แตกแขนงออก มา FriCAS อนุญาตให้เรียกใช้โปรแกรม Aldor ได้ (Aldor ไม่จำเป็นสำหรับการคอมไพล์หรือเรียกใช้ FriCAS) ทั้งสองภาษามีไวยากรณ์ที่คล้ายกันและระบบประเภทที่ซับซ้อน ( ขึ้นอยู่กับ ) ^{[ 2 ] [ 3 ] [ 4 ]}

FriCAS มีเอกสารประกอบอย่างครบถ้วนและมีให้ใช้งานทั้งในรูปแบบซอร์สโค้ด และ ไฟล์ไบนารีสำหรับแพลตฟอร์มที่ใช้กันทั่วไป การคอมไพล์ทรัพยากร Axiom lisp ต้องใช้สภาพ แวดล้อม Common Lispซึ่งมีให้ใช้งานฟรีในรูปแบบโอเพนซอร์สโค้ด FriCAS lisp รองรับการใช้งาน CL บางประเภท (ที่ไม่เข้ากัน)

FriCAS สามารถทำงานได้บน แพลตฟอร์ม POSIX หลาย แพลตฟอร์ม เช่นLinux , macOS , Unix , BSDรวมถึงCygwinและ Microsoft Windows ( WSL )

IBMได้พัฒนาระบบพีชคณิตคอมพิวเตอร์สองระบบชื่อScratchpadระบบแรกเริ่มต้นในปี 1965 โดย James Griesmer ^{[ 5 ]}ตามคำขอของRalph Gomoryและเขียนด้วยภาษาFortran ^{[ 6 ]}การพัฒนาซอฟต์แวร์นี้หยุดลงก่อนที่จะมีการเผยแพร่สู่สาธารณะ ระบบ Scratchpad ตัวที่สอง ซึ่งเดิมชื่อScratchpad IIได้รับการพัฒนาตั้งแต่ปี 1977 เป็นต้นไป ที่ศูนย์วิจัย Thomas J. Watsonภายใต้การกำกับดูแลของ Richard Dimick Jenks ^{[ 7 ]}

การออกแบบนี้เป็นผลงานหลักของ Richard D. Jenks (IBM Research), James H. Davenport (มหาวิทยาลัยบาธ), Barry M. Trager (IBM Research), David YY Yun (มหาวิทยาลัยเซาเทิร์นเมธอดิสต์) และVictor S. Miller (IBM Research) ที่ปรึกษาในช่วงแรกของโครงการ ได้แก่ David Barton (มหาวิทยาลัยแคลิฟอร์เนีย เบิร์กลีย์) และJames W. Thatcher (IBM Research) การดำเนินการนี้รวมถึง Robert Sutor (IBM Research), Scott C. Morrison (มหาวิทยาลัยแคลิฟอร์เนีย เบิร์กลีย์), Christine J. Sundaresan (IBM Research), Timothy Daly (IBM Research), Patrizia Gianni (มหาวิทยาลัยปิซา), Albrecht Fortenbacher (มหาวิทยาลัยคาร์ลสรูห์), Stephen M. Watt (IBM Research และมหาวิทยาลัยวอเตอร์ลู), Josh Cohen (มหาวิทยาลัยเยล), Michael Rothstein (มหาวิทยาลัยเคนท์สเตท), Manuel Bronstein (IBM Research), Michael Monagan (มหาวิทยาลัยไซมอนเฟรเซอร์), Jonathan Steinbach (IBM Research), William Burge (IBM Research), Jim Wen (IBM Research), William Sit (วิทยาลัยซิตี้แห่งนิวยอร์ก) และ Clifton Williamson (IBM Research) ^{[ 8 ]}

Scratchpad II ได้รับการเปลี่ยนชื่อเป็นAxiomเมื่อ IBM ตัดสินใจที่จะทำให้เป็นผลิตภัณฑ์เชิงพาณิชย์ราวปี 1990 ไม่กี่ปีต่อมาก็ถูกขายให้กับNAGในปี 2001 มันถูกถอนออกจากตลาดและวางจำหน่ายอีกครั้งให้กับ Tim Daly ภายใต้ใบอนุญาต Modified BSDในปี 2007 Axiom ถูกแยกออกเป็นFriCASโดย Waldek Hebisch หลังจากได้รับการสนับสนุนจาก Tim Daly ^{[ 9 ]}เพื่อแก้ไขข้อขัดแย้งเกี่ยวกับเป้าหมายของโครงการ^{[ 10 ]}

FriCAS มีการใช้ งานอัลกอริทึม Risch–Bronstein–Tragerที่ค่อนข้างสมบูรณ์ ^{[ 11 ]}

อีกหนึ่งคุณสมบัติที่มีประโยชน์คือการสตรีม :

)ตั้งค่าสตรีมคำนวณ 5 exp_series := series(exp x, x=0) 

${\displaystyle \ \ \ \ 1+x+{{\frac {1}{2}}\ {{x}^{2}}}+{{\frac {1}{6}}\ {{x}^{3}}}+{{\frac {1}{24}}\ {{x}^{4}}}+{{\frac {1}{120}}\ {{x}^{5}}}+{O\left({{x}^{6}}\right)}}$

ประเภท: UnivariatePuiseuxSeries(Expression(Integer),x,0)

ดังนั้นจึงสามารถดึงค่าสัมประสิทธิ์ใดๆ ก็ได้ ตัวอย่างเช่น: ${\displaystyle n=40}$

สัมประสิทธิ์(exp_series,40) 

${\displaystyle \ \ \ \ {\frac {1}{815915283247897734345611269596115894272000000000}}}$

ประเภท: นิพจน์ (จำนวนเต็ม)

• รายชื่อระบบพีชคณิตคอมพิวเตอร์

• หน้าหลัก FriCAS
• FriCAS Wiki
• SandBox: ลองใช้ FriCAS ออนไลน์
• เอกสารประกอบอยู่ที่ fricas.github.io
• FriCAS API (สฟิงซ์)
• แหล่งเก็บซอร์สโค้ด: SourceForge , GitHub
• Rosetta stone (pdf)
• Rosetta Stone (รูปแบบอื่นๆ)
• Rosetta Stone (html)
• rosettacode.org, หมวดหมู่: SPAD
• ฟอรัม: fricas-devel
• เคอร์เนล FriCAS Jupyter (jfricas/src)
• FriCAS Jupyter (pypi)

ที่เกี่ยวข้อง:

• สัจพจน์
• โอเพ่นแอกซิออม
• ภาษาโปรแกรม A#
• ภาษาโปรแกรมAldor