프리카스

프리카스

개발자	월덱 헤비스치 + 독립된 그룹
안정적 해제	1.3.7 / 2021년 6월 30일; 8개월 전(2021-06-30)
구현 언어	SPAD, Aldor, Boot, Common Lisp
OS	크로스 플랫폼
면허증	수정된 BSD 라이센스
파일 이름 확장명	.spad,.input,.as
웹사이트	프리카스기투브이오

FriCAS는 새로운 알고리즘의 수학적 연구와 개발에 초점을 맞춘 범용 컴퓨터 대수 시스템이다.그것은 통역사, 컴파일러, 그리고 1,000개 이상의 도메인과 범주의 여전히 성장하고 있는 도서관으로^[1] 구성되어 있다.

FriCAS는 SPAD라고 불리는 강력한 형태의 고급 프로그래밍 언어와 편의성을 위해 형식 회의를 사용하는 유사한 대화형 언어를 제공한다.Aldor는 Axiom CAS와 그것의 포크의 차세대 컴파일러로 의도적으로 개발되었다.FriCAS(선택적으로)는 Aldor 프로그램을 실행할 수 있다.두 언어 모두 비슷한 구문과 정교한 (의존적인) 유형 시스템을 공유한다.^[2][3][4]

FriCAS는 포괄적으로 문서화되어 있으며, 가장 일반적인 플랫폼에 대한 소스 코드와 이진 분포로 이용할 수 있다.소스를 컴파일하려면 다른 전제조건 외에 Common Lisp 환경(많은 주요 구현이 지원되고 오픈 소스로 자유롭게 사용 가능)이 필요하다.

FriCAS는 Cygwin과 Microsoft Windows(WSL)뿐만 아니라 Linux, MacOS, Unix, BSD와 같은 많은 POSIX 플랫폼에서 실행된다.

역사

FriCAS는 IBM 연구소에서 제임스^[6] 그리시에 의해 1965년에 시작된 프로젝트인 Scratchpad에서 유래된 Axiom의 후손이다.^[7]자세한 내용은 Axiom/History를 참조하십시오.

예

FriCAS는 Risch-Bronstein-Trager 알고리즘의 다소 완전한 구현을 가지고 있지만, 여전히 불완전하다.^[8]

또 다른 유용한 기능은 스트림:

)set stream calculate 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 (\mathrm{예}}$:$$n = $40$ {\$displaystyle$ n$=40$

계수(exp_series,40)

${\displaystyle \ \ \\\frac {1}{815915283247977347346112695961158942720000000}}}$

유형: 식(Integer)

참고 항목

• 컴퓨터 대수 체계 목록

참조

외부 링크

• FriCAS 홈페이지
• 프리카스 위키
• SandBox: FriCAS 온라인 체험
• 프리카스기투브에 있는 문서.이오
• FriCAS API(sphinx)
• 소스 코드 저장소:SourceForge,GitHub 미러
• 로제타석(pdf)
• 로제타석(다른 형식)
• 로제타 스톤(html)
• rosettacode.org, 카테고리:스페이드
• 포럼: 프리카-디벨
• FriCAS 주피터 커널(jfricas/src)
• FriCAS 주피터(피피)

관련:

• 공리
• 오픈악시움
• A# 프로그래밍 언어
• 알도르 프로그래밍 언어