Ket(소프트웨어)
Ket (software)안정된 릴리스 | 0.5.05 / 2015년 3월 22일 ( |
---|---|
기입처 | 자바 |
운영 체제 | 크로스 플랫폼(멀티 플랫폼) |
유형 | 컴퓨터 대수 체계 |
면허증. | GPL v2 |
웹 사이트 | sourceforge.net/projects/ket |
Ket은 오픈 소스 대수 에디터입니다.적분이나 방정식 풀이와 같은 자동화된 계산(수학, 메이플 등)이나 결과 문서의 프레젠테이션 품질(예: LaTeX)에 초점을 맞춘 다른 편집자들과는 다르다.Ket의 초점은 사용자가 빠르고 효율적으로 대수를 수행할 수 있도록 하는 것이다.따라서 텍스트 편집기, 화이트보드 또는 봉투 뒷면에 더 가깝습니다.그러나 대수학의 개별 단계를 자동화할 수 있는 다양한 도구를 제공합니다.
개요
Ket은 방정식 편집을 키보드 또는 마우스 제스처로 수행하는 일련의 작은 편집으로 나눕니다.이는 방정식이 광범위한 기호와 표기를 포함하지만 많은 반복을 포함하기 때문입니다.그 결과 기존 식을 다시 쓰는 것보다 재사용하는 것이 더 빠릅니다.이것은 기존의 식을 수정하고 조합하여 더 많은 반복을 추가하는 대수를 수행할 때 더욱 두드러집니다.
명령어는 방정식 구조의 추상적 변환을 중심으로 구축됩니다.일부 명령은 기존 식을 삭제, 재구성 및 결합하고 일부 명령은 새 내용을 추가합니다.명령어는 모두 즉각적인 업데이트를 제공할 수 있을 만큼 응답성이 높습니다.따라서 사용자는 일련의 작은 조각들과 상호작용하면서 전통적인 수학 표기법으로 방정식을 볼 수 있습니다.
표현
2019년 12월:방향 명령을 표준화하는 트리 구조입니다.단, 방정식 fragment를 쓰거나 파일에 저장할 때는 필요에 따라 마크다운, LaTeX 및 일반 텍스트 수학 표기를 병합하는 커스텀 마크다운 언어가 사용됩니다.
기존의 수학 표기법은 문자와 행이 포함된 상자 안에 일련의 상자로 나타나며, 각 상자는 어떤 함수, 연산, 변수 또는 값을 나타내는지 여부를 나타냅니다.각 편집 후 방정식은 이 형식으로 변환되어 렌더링됩니다.
단, 편집 명령어는 방정식을 다르게 나타내며 키보드 방향 명령어는 이를 반영합니다.폴더 내의 파일 및 폴더의 파일 시스템 계층과 유사하게 각 방정식은 트리 구조로 표시됩니다.Ket의 각 방정식은 연산과 함수(나무 가지)와 변수와 값(나무 잎)의 트리입니다.
파일 형식은 자체 비표준 마크다운 언어로 구성됩니다.또한 편집 시 방정식 조각이 일반 텍스트로 입력되어 트리로 변환됩니다.방정식은 메모리에 표시되며 사용자에게 표시하기 위해 트리 맵으로 변환됩니다.파일 형식은 파일을 로드 및 저장할 때 트리로 변환되거나 트리에서 변환되는 일반 텍스트입니다.
상호 작용
다양한 형태의 상호작용이 가능합니다.여기에는 트리 구조를 재구성하고 간단한 대수 연산을 수행하는 것이 포함됩니다.마우스 끌기를 사용하면 인수 순서를 함수로 변경할 수 있습니다.변수의 치환을 포함한 다른 방정식에 식의 fragment를 추가하거나 제거할 수도 있습니다.방정식 페이지의 일반 텍스트 표현은 빠르게 어려워질 수 있지만, 일반 텍스트의 작은 조각으로 작업하는 것은 기존 선택을 대체, 식별 또는 업데이트하는 빠른 방법입니다.좋은 글쓰기가 다시 쓰는 것이라면 좋은 대수는 기존의 표현들을 재구성하는 것이다.
편집
가장 빠른 형태의 편집은 마우스 제스처로 한 방정식을 다른 방정식으로 대체하는 것입니다.또한 오른쪽 클릭 메뉴 또는 메뉴 항목 방향으로 오른쪽 드래그하여 인수를 삭제, 복사 또는 추가할 수 있습니다.
Ket은 모달 에디터입니다.모달 에디터는 정보를 표시하는 방법과 사용자가 정보를 조작하는 방법을 변경하는 것을 의미합니다.기본적으로 키보드 명령은 현재 선택 항목인 'x'를 삭제하는 등의 특정 선택 또는 변환 명령을 수행합니다.일부 명령에는 'p'와 같은 방향을 사용해야 합니다.다른 명령어에서는 선택 항목을 방정식 단편 'r'로 대체하는 것과 같은 텍스트 블록이 필요합니다.텍스트 줄 편집 텍스트, 방정식, 이미지 또는 플롯의 줄 목록을 표시합니다.텍스트 편집을 위해 <Ctrl-r>은 텍스트 편집을 시작하고 <Esc> 또는 <Ctrl-c>는 정지합니다.여기서 <Enter>는 새로운 행을 사용하여 텍스트 편집을 계속합니다.
모든 편집은 현재 선택 항목을 기준으로 이루어지므로 선택 항목을 변경하는 다양한 명령이 제공됩니다.이동하려면 화살표 키를 사용할 수 있지만, 다양한 키가 방향을 표시하기 때문에 손을 터치 타이핑 위치에 두는 것이 더 빠릅니다.위아래로 'k'와 'j'를 이동할 뿐만 아니라 방정식 사이를 이동할 수도 있다.즉, 트리의 다른 부분을 선택합니다.'h'와 'l'은 이전과 다음 식을 선택하고 'i'와 'o'는 트리의 왼쪽과 오른쪽 인수를 선택합니다.마지막으로 <스페이스>가 다시 밖으로 이동합니다.
방정식 fragment가 필요한 명령을 누르면 프로그램이 모드를 변경합니다.여기서 방정식 fragment의 평문 표현을 입력할 수식 조각의 평문 표현을 입력할 수 있다.이 모드에서는 Bash 및 Emacs 사용자에게 익숙한 Readline 명령도 사용할 수 있습니다.
그런 다음 <Enter>를 누르면(또는 <Escape>로 취소됨) 방정식 조각으로 변환됩니다.변환 명령 편집은 다양한 의미 수준에서 수행할 수 있습니다.편집은 식의 원래 의미를 보존할 필요가 없습니다.예를 들어, 다항식 패턴을 복사하고 모든 변수를 새 변수로 대체하여 재사용할 수 있습니다.다양한 구문 및 의미 변환도 가능합니다.현재 선택되고 있는 「r」를 새로운 fragment로 치환하는 등, 사소한 것도 있습니다.배포 속성 등 다른 항목은 사이클링할 수 있습니다.
<Ctrl-n> 및 <Ctrl-p> 를 사용합니다.
replace 등의 명령어를 사용하려면 방정식의 fragment를 일반 텍스트로 나타내야 합니다.
대부분의 경우 텍스트 조각이 이미 입력되어 참조될 수 있습니다.fragment가 현재 방정식에 존재하는 경우 "\address"(백슬래시 뒤에 따옴표가 없는 주소)를 사용합니다.여기서 연속되는 주소의 자리수는 n번째 인수를 참조합니다.
마찬가지로 기존 방정식은 등식 1 등에 대해 "#1"이라고 할 수 있다.그리고 방정식 1에서 두 번째 인수의 세 번째 인수의 네 번째 인수에 대해 "1#234"라고 하는 다른 방정식 내의 주소입니다.