폴리보리 부울 링 위에 다항식을 제공하는 C ++ 라이브러리
지금 다운로드

폴리보리 순위 및 요약

폴리보리 태그

부울 다항식 부울 모음 지수 벡터 부울 다항식 단항식

폴리보리 설명

부울 반지를 통해 다항식을 제공하는 C ++ 라이브러리 Polybori의 핵심은 부울 다항식 및 모음, 지수 벡터 및 부울 변수의 PowerSet의 기본 다항식 벨소리 및 하위 집합에 대한 고급 데이터 유형을 제공하는 C ++ 라이브러리입니다. 고유 한 접근 방식으로 2 진 결정 다이어그램은 다항식 구조의 내부 저장 유형으로 사용됩니다. 이 C ++ - Library Polybori는 복잡한 다항식 시스템을 구문 분석 할 수있는 파이썬 인터페이스뿐만 아니라 GR? Bner 기본 계산을위한 정교하고 확장 가능한 전략을 제공합니다. Polybori는 Grbner 기본 계산을위한 강력한 참조 구현을 특징으로합니다. 요구 사항 : · 파이썬 이 릴리스에서는 새로운 기능 : · Groebner_Basis 용 Modified_linear_algebra가 소개되었습니다. · 선형 대수가 수정되거나 그렇지 않은 경우 수정됩니다. · 선형 대수가 전혀 사용되면이 옵션이 영향을 미치지 않습니다. · 링은 지금 setvariableName과 getVariaBlename을 가지고 있습니다 · 고리는 고유 한 식별자를 얻는 데 hash () 메소드가 있습니다. · BOOlePolyring의 표준 생성자가 활성화되지 않습니다 · (원하지 않는 부작용 제거)

폴리보리 관련 소프트웨어