- TI nspire
[TI-nspire CAS] [Program] pfe, 다항식 부분분수화 프로그램 (실수단위, 복소수단위)
-
- 2024.10.18 - 16:35 2015.11.17 - 14:38 12599 16 4
1. 프로그램 소개
Partial Fraction Expansion Program
for TI-Nspire CAS ver 0.1 (2015-11-17)
by allcalc.org
http://www.allcalc.org/10272
---
Define LibPub pfe(ex)=
Prgm
:
:© Set mode to Exact
:setMode(5,1)
:
:© Set mode to float6
:setMode(1,5)
:
:© Var for PFE Level
:Local level
:1→level
:
:© Determine alphabet var for inputted expression
:Local var,ds,s_denom
:string(getDenom(ex))→s_denom
:For ds,1,dim(s_denom)
: If 96<ord(mid(s_denom,ds,1))<123 Then
: expr(mid(s_denom,ds,1))→var
: Goto esc_var
: EndIf
:EndFor
:
:Disp "Use Var as ""x"" or ""s"" or ""t"" at the beginning"
:Goto end
:
:Lbl esc_var
:
:© Allocate vars for numerator,denominator,quotient,remainder
:Local ex_num,ex_denom,ex_quotient,ex_remainder
:© exact(ex)→ex
:ex_num:=getNum(ex)
:ex_denom:=getDenom(ex)
:ex_quotient:=exact(polyQuotient(ex_num,ex_denom))
:ex_remainder:=polyRemainder(ex_num,ex_denom)
:If string(exact(ex_quotient))="0" Then
: Disp "Polynomial is : ",ex
:Else
: Disp "PolyRemainder : ",ex_remainder
: Disp "Denominator : ",ex_denom
: Disp "--- --- --- ---"
:EndIf
:
:© Get Multiple Roots
:Local roots,roots_m,roots_p,roots_c,roots_r,temp_multivar
:zeros(ex_denom,var)→roots
:ex_denom|var=9999000000.→temp_multivar
:getType(temp_multivar)→temp_multivar
:If temp_multivar="NUM" Then
: polyRoots(ex_denom,var)→roots_p
:Else
: roots→roots_p
:EndIf
:
:newList(dim(roots))→roots_m
:{}→roots_c
:{}→pfe.result
:{}→pfe.resultc
:Local i
:For i,1,dim(roots)
: countIf(roots_p,roots[i])→roots_m[i]
:EndFor
:
:© Calculate coefficient for each roots
:Local j,k,temp_pd,temp_ex
:((ex_remainder)/(ex_denom))→temp_ex
:For j,1,dim(roots)
: For k,1,roots_m[j]
:(factor(((ex_num)/(ex_denom))*(var-roots[j])^(roots_m[j]),var),var,k-1)→roots_r
:
:(var-roots[j])^(roots_m[j]-k+1)→temp_pd
: augment(roots_c,{propFrac(((roots_r)/((k-1)!)))|var=roots[j]})→roots_c
: augment(pfe.result,{((roots_c[dim(roots_c)])/(temp_pd))})→pfe.result
: temp_ex-((roots_c[dim(roots_c)])/(temp_pd))→temp_ex
: EndFor
:EndFor
:
:© Check for complex roots
:If string(factor(temp_ex))≠"0" Then
: If left(string(getNum(temp_ex)),6)="1.−13" Then
: Disp "It may be Approximate Result."
: 1→level
: Goto level_approx
: EndIf
:
:© Request Level of PFE (Real or Complex)
: Request "Select PFE Level 1=Real, 2=Complex",level,0
: If string(level)≠"2" Then
: 1→level
: EndIf
:
: If level=1 Then
: augment(pfe.result,{temp_ex})→pfe.result
: Else
: Disp "PFE to Complex Number Level"
: Local exc_num,exc_denom
: exc_num:=getNum(temp_ex)
: exc_denom:=getDenom(temp_ex)
:
: Local croots,croots_c,croots_r
: cPolyRoots(exc_denom,var)→croots
: newList(dim(croots))→croots_c
: newList(dim(croots))→croots_r
:
: Local l
: For l,1,dim(croots)
: cFactor(cFactor(((exc_num)/(exc_denom)),var)*(var-croots[l]),abc987)→croots_r[l]
: cFactor(croots_r[l],abc987)|var=croots[l]→croots_c[l]
: If abs(croots_c[l])>9.−11 Then
: cFactor(augment(pfe.resultc,{((croots_c[l])/(factor(var-croots[l])))}))→pfe.resultc
: EndIf
: EndFor
:
: EndIf
:EndIf
:
:Lbl level_approx
:
:© Display result as matrix form
:If string(ex_quotient)≠"0" Then
:{ex_quotient}→pfe.resultq
: Disp factor(list▶mat(pfe.resultq))
:EndIf
:
:If dim(pfe.result)≠0 Then
: Disp factor(list▶mat(pfe.result))
:EndIf
:
:If level=2 Then
: Disp factor(list▶mat(pfe.resultc))
:EndIf
:
:If temp_multivar="EXPR" Then
: Disp "PFE once more!"
: pfe(ex_quotient)
:EndIf
:Lbl end
:EndPrgm
- 입력 예
pfe(exprs)
: 변수는 알파벳 소문자 어떤 것이라도 가능합니다. 다만, 분모의 왼쪽으로부터 처음으로 발견되어야만 합니다.
실수근에 대하여는 묻지 않고 부분분수로 강제로 나눕니다.
분모에 복소수근이 있는 경우에는, 복소수 차원으로 부분분수시킬 것인지를 프로그램이 물어볼 것입니다.
- 결과의 저장
- pfe.result (기본값, 실수범위 부분분수 결과)
- pfe.resultc (복소범위 분해 결과)
- pfe.resultq (분자/분모의 몫(quotient)이 있는 경우)
2. 사용 예제
└ 실수 수준의 부분분수화는 기본 내장함수인 expand() 를 사용하는 것이 편리합니다.
└ 계수가 소숫점 형태이거나 근사값으로 부분분수화가 진행되는 경우, expand() 에서 부분분수화가 제대로 되지 않는 때가 있습니다. 이 때는 pfe() 프로그램이 도움이 될 수 있습니다.
└ 1:Real Number 수준에서 진행한 경우. expand()와 차이가 나지 않음
└ 2:Complex Number 수준으로 진행한 경우
3. 주의사항
- 허수근에 대한 다차식이 있는 경우에는 문제가 발생함
expand() 로 해결 - 상수가 아닌 미지수 근에 대해서는 문제가 발생할 가능성이 큼 expand() 로 해결
- 프로그램 작성 초기버전이라서 기타 문제 발생 가능성이 있습니다. 제보 바랍니다.
분모나 분자에 소수점이 있는 경우 결과가 근사값 형태로 표시될 수 있습니다.
(특별한 사정이 있지 않은 이상)
분모분자에 적당한 수를 곱해 exact 계산 형태로 바꾸시는 걸 추천합니다.
└ 입력식에 소숫점이 있는 경우 (0.5)
└ 분모 분자에 10을 곱하여 입력한 경우. (10 대신 2를 곱해도 같은 결과)
※ 이것은 expand() 함수에서도 마찬가지로 적용됩니다.
-
25
댓글16
-
1
세상의모든계산기
복소범위 부분분수화한 결과가 R1+R2+R3+C1+C2 꼴이면
- pfe.result=R1+R2+R3
- pfe.resultc=C1+C2
의 결과를 얻습니다.
실수까지만 보인다고 하시니 pfe.result 를 말씀하시는 것 같네요.
그게 아니고 pfe.resultc 를 그냥 호출하신 경우라면, 계산기의 고유한 특징으로 인하여 변수에 저장된 값에 상관없이 결과를 화면에 표시할 때는 무조건 분모를 유리화합니다.
따라서 유리화하지 않고 그대로 다시 보기 위해서는 factor(pfe.resultc) 로 불러내야 합니다.
[추가] 변수 s를 s_로 변경하는 방법도 가능하네요.
- 2
-
2
세상의모든계산기
factor()를 사용하지 않고, 변수를 s 대신 s_ 로 대치
프로그램을 수정해서 변수를 모두 s_로 바꾸는게 나을런지?
복소수 결과 pfe.resultc 만 s_ 로 바꾸는게 나을런지?
-
세상의모든계산기
간혹 버그가 발생하네요.
저렇게 2.1E-12 와 같이 작은 숫자가 곱해진 부분은 버그일 가능성을 의심해보시는게 좋겠습니다.
* 프로그램을 고칠 가능성은 현재로선 낮습니다. -_-'
- 1
-
ytg0602
프로그램을 쓰던 중에 오류가 생겨서 댓글 달아봅니다. 매트랩 홈페이지에서 부분 분수 전개에 대한 예제에 대한 식으로 한번 프로그램을 써봤는데요.
각각 해당 식들을 입력하고 복소수 레벨에서 실행시키면 에러 메시지가 A conditional statement did not resolve to TRUE or FALSE라는 메시지가 뜹니다. level 누를 때 2로 눌렀던 걸로 기억합니다. 보니까 조건식에서 에러가 나는 것 같은데 혹시 버그인지 제가 사용법을 몰라서 못 쓰는 건지 궁금합니다.
해당 매트랩 홈페이지 주소는 https://kr.mathworks.com/help/matlab/ref/residue.html입니다.
그리고 해당 식들은 (2*s^3+s^2)/(s^3+s^2+1)과 (2*s^4+s)/(s^2+1)입니다. -
1
세상의모든계산기
첫번째 예제는 ERROR가 나는 상황이고,
두번째 예제는 문제가 없는 듯 합니다.
버그가 맞구요.
뭔가 잘못된 건 확실한데...디버깅하는 것이
저에게는 0에서 다시 시작하는 것과 같기 때문에 손이 가질 않네요. - 2
- 1
-
세상의모든계산기2023.04.11 - 18:35 #38678오픈 AI에 코드를 보여주니
LibPub pfe()는 Casio 계산기에서 지원하는 프로그래밍 언어로 작성된 프로그램입니다. 주어진 유리 함수의 PFD(partial fraction decomposition)를 찾기 위해 설계된 사용자 정의 함수로 미적분학 및 대수학에서 유용한 기법입니다. 프로그램은 먼저 계산기를 Exact 모드와 float6 모드로 설정합니다. 그런 다음 사용자에게 분수 형식의 유리수 함수를 입력하라는 메시지가 표시됩니다. 그런 다음 프로그램은 "x", "s" 또는 "t" 식에 사용된 변수를 식별합니다. 사용된 변수가 이 세 가지 중 하나가 아니면 프로그램은 오류 메시지를 표시합니다. 다음으로, 프로그램은 분모에 의한 분자의 다항식 나눗셈의 몫과 나머지를 찾습니다. 몫이 0이면 프로그램은 원래 다항식을 표시합니다. 그렇지 않으면 나머지와 분모를 표시합니다. 그런 다음 프로그램은 분모의 여러 근을 찾고 각 근에 대한 계수를 계산합니다. 복소수가 있는 경우 PFD 수준(실수 또는 복소수)을 선택하라는 메시지가 표시됩니다. 실제인 경우 프로그램은 결과를 행렬로 표시합니다. 복소수인 경우 프로그램은 복소수 근을 찾아 해당 계수를 계산하고 결과를 행렬로 표시합니다. 전반적으로 LibPub pfe()는 많은 수학적 문제를 해결하는 데 필수적인 유리 함수의 부분 분수 분해를 찾는 강력한 도구입니다. -
1
세상의모든계산기2023.04.11 - 18:36 #38681개선할 점은 없냐 물어보니...
귀하의 프로그램은 잘 작성되고 포괄적인 것 같습니다. 그러나 개선을 위한 몇 가지 제안을 제공할 수 있습니다.
오류 처리 추가: 프로그램은 사용자가 유효한 입력을 입력했다고 가정합니다. 사용자가 잘못된 입력을 입력하는 경우 프로그램 충돌을 방지하기 위해 오류 처리를 추가하는 것이 도움이 될 것입니다.
가독성 향상: 주석을 추가하고 긴 코드 줄을 여러 줄로 나누어 코드의 가독성을 높일 수 있습니다.
설명이 포함된 변수 이름 추가: 일부 변수 이름은 짧고 설명이 많지 않습니다. 더 설명적인 변수 이름을 사용하면 코드를 더 쉽게 이해할 수 있습니다.
사용자가 변수 이름을 입력하도록 허용: 사용자에게 특정 변수 이름을 사용하도록 요청하는 대신 사용하려는 변수 이름을 입력하도록 허용할 수 있습니다.
더 많은 옵션 추가: 프로그램은 현재 다항식의 부분 분수 확장 계산만 지원합니다. 함수의 라플라스 변환 계산과 같은 더 많은 옵션을 추가하는 것을 고려할 수 있습니다. - 1
-
1
세상의모든계산기
Exact float6 Disp "Enter rational function in the form of a/b(x)" Prompt a,b,x If x="x" or x="s" or x="t" Then q:=a/b // 몫 계산 r:=a-q*b // 나머지 계산 If q=0 Then Disp "The original polynomial is:" Disp r Else Disp "The quotient is:" Disp q Disp "The remainder is:" Disp r EndIf roots:=poly_roots(b,x) coeffs:=List(0,dim(roots)) For i,root In roots Do If Im(root)=0 Then // 근이 실수인 경우 coeff:=limit(a/b/(x-root),x,root) Else // 근이 복소수인 경우 Disp "Select PFD level for complex roots of", root Menu "PFD Level", ["Real", "Complex"] If Ans=1 Then // PFD level: Real coeff:=limit(a/b/(x-root),x,root) Else // PFD level: Complex coeff_real:=limit(a/b/(x-Re(root)),x,Re(root)) coeff_imag:=limit(a/b/(x-Im(root)),x,Im(root)) coeff:=Matrix([[coeff_real,coeff_imag],[-coeff_imag,coeff_real]]) EndIf EndIf coeffs[i]:=coeff EndFor If dim(roots)=0 Then Disp "No roots found." Else Disp "Coefficients:" Disp coeffs EndIf Else Disp "Error: Invalid variable used" Stop EndIf설명만 입력하고 ti nspire 용으로 만들어 달랬더니 위와 같이 만들어줬습니다.
대충 ti basic 하고 비슷은 한데, 못쓰는 명령어도 짬뽕되어 있고 그렇네요.
세상의모든계산기 님의 최근 댓글
HP-39gII 에 ExistOS 설치하기 https://allcalc.org/38526 2025 11.07 1. 왜 검은색이 아닌 다른 색으로 보일까? (제공된 LUT 필터) 제가 제공해 드린 magenta_lens.cube LUT 필터는 540~560nm(녹색-노란색) 파장대의 색상을 '완전히 제거(검은색으로 만듦)'하는 대신, '다른 색상으로 왜곡/변환'하도록 설계되었습니다. * 원리: LUT(Look-Up Table)는 특정 입력 색상(Input RGB)을 미리 정해진 다른 출력 색상(Output RGB)으로 매핑하는 테이블입니다. 이 LUT는 540~560nm에 해당하는 RGB 값들이 들어오면, 검은색(0, 0, 0)이 아닌, 매우 어둡거나 채도가 낮은 특정 색(예: 어두운 올리브색, 갈색 등)으로 변환하라고 지시합니다. * 의도: * 현실적인 물리 필터 시뮬레이션: 실제 고가의 색약 보정 안경도 특정 파장을 100% 완벽하게 차단하지는 못합니다. 빛의 일부를 흡수하고 일부는 통과시키거나 변환하는데, 이 LUT는 그러한 현실 세계의 필터 효과를 더 비슷하게 흉내 냈을 수 있습니다. * 시각적 정보 유지: 특정 색을 완전히 검게 만들면 그 부분의 형태나 질감 정보가 완전히 사라집니다. 하지만 다른 어두운 색으로 대체하면, 색상 정보는 왜곡되더라도 밝기나 형태 정보는 어느 정도 유지되어 전체적인 이미지가 덜 어색하게 보일 수 있습니다. 결론적으로, 스펙트럼 그림에서 해당 대역의 색이 갑자기 '다른 색으로 툭 바뀌는' 현상은, LUT 필터가 "이 파장대의 색은 앞으로 이 색으로 표시해!"라고 강제적으로 지시한 결과이며, 이것이 바로 이 필터가 작동하는 방식 그 자체입니다. 2. 왜 'Color Vision Helper' 앱은 검은색으로 보일까? 비교하신 'Color Vision Helper' 앱은 노치 필터의 원리를 더 이상적(Ideal)이고 교과서적으로 구현했을 가능성이 높습니다. * 원리: "L-콘과 M-콘의 신호가 겹치는 540~560nm 파장의 빛은 '완전히 차단'되어야 한다"는 개념에 매우 충실한 방식입니다. * 구현: 따라서 해당 파장에 해당하는 색상 정보가 들어오면, 어떠한 타협도 없이 그냥 '검은색(RGB 0, 0, 0)'으로 처리해 버립니다. 이는 "이 파장의 빛은 존재하지 않는 것으로 처리하겠다"는 가장 강력하고 직접적인 표현입니다. 2025 11.06 적용사례 4 - 파장 스펙트럼 https://news.samsungdisplay.com/26683 ㄴ (좌) 연속되는 그라데이션 ➡️ (우) 540 이하 | 구분되는 층(색) | 560 이상 - 겹치는 부분, 즉 540~560 nm 에서 색상이 차단? 변형? 된 것을 확인할 수 있음. 그럼 폰에서 Color Vision Helper 앱으로 보면? ㄴ 540~560 nm 대역이 검은 띠로 표시됨. 완전 차단됨을 의미 2025 11.05 빨간 셀로판지로도 이시하라 테스트 같은 숫자 구분에서는 유사한 효과를 낼 수 있다고 합니다. 색상이 다양하다면 빨강이나, 노랑, 주황 등도 테스트해보면 재밌겠네요. 2025 11.05 안드로이드 앱 - "Color Vision Helper" 다운받아 본문 내용을 카메라로 찍어 보니, 본문 프로그램에서는 애매하게 보이던 부분에서도 구분이 완전 확실하게 되네요. 숫자 구분 능력 & 편의성 면에서 압도적이라고 할 수 있겠습니다. 2025 11.05