- TI nspire
[TI-nspire] 수식에 "|"(Constraint Operator) 조건식, 제약식을 붙이는 방법
-
- 2024.11.19 - 10:50 2015.11.17 - 10:57 4059 4
1. 조건식 또는 제약식이란?
수식에 따라붙는 조건식 또는 제약식 또는 제약 조건이란, 수식에 사용되는 문자를 특정한 조건으로 제약하는 보조수식을 의미합니다. 영어로는 constraint 라고 부릅니다. 확률에서 P(A|B) 를 "B일 때 A의 확률"로 해석하는 것과 동일한 맥락으로 이해할 수 있습니다.
nspire 에서도 세로줄 | Vertical line 을 제약식의 기호(Constraint Operator)로 사용합니다.
여러가지 조건을 하나의 식에 반복해 대입해 보려고 할 때 특히 유용하고, 식을 치환하여 다른 식으로 변형시키거나 정리할 수 있어서 여러모로 굉장히 편리한 기능입니다. 잘 알아두시는게 좋습니다.
제약식은 다음 3가지 기능으로 동작합니다.
- Substitutions (대체, =)
- Interval constraints (구간 제약, < >)
- Exclusions (제외, ≠)
2. 입력 방법
- 『수식|제약식』 의 형태로 입력합니다.
Expr | BooleanExpr1[and BooleanExpr2]...
Expr | BooleanExpr1[or BooleanExpr2]..
제약식은 and 나 or 로 결합할 수 있습니다.
- 제약식 기호( | )의 입력
방법1【ctrl】【=】 (등호/부등호)
오른쪽 아래 구석
방법2 【카탈로그】【4】(특수문자표)
(=단축키
) 의 위에서부터 4번째 줄 마지막에서 선택
3. 예제
한 문자에 대한 제약식이 있으면, 그 문자를 본수식에 직접 대입한 것과 같은 효과를 얻습니다.
미분 계수 구하기
4. 주의 사항
- 계산 순서, 제약식 대입 순서
특정한 경우에는 제약식이 먼저 대입된 다음 본 수식이 계산됩니다.
따라서 그런 경우에는 한꺼번에 처리하지 말고, 계산을 2단계로 나누어 계산해야만 합니다.
https://education.ti.com/en/customer-support/knowledge-base/ti-nspire-family/product-usage/35994
- 제약식의 정리(변수의 순서)
본 수식에서 정리하고 싶은(=없애고 싶은) 문자를 제약식의 등호 좌측에 단독으로 놓아야 합니다.
- 값이 여럿인(=or로 묶인) 변수를 제약식에 이용할 때 경고!가 발생할 수 있습니다.
이 때는 (경고문구에 나오는 것처럼) 대체변수를 이용하셔야 합니다.
- 제약식으로 등호(=) 및 대소(> ≥ ≤ <) 는 넣을 수 있지만 부등호(≠) 조건은 넣을 수 없습니다.
- 리스트나, 매트릭스를 직접 넣을 수 없습니다.
ㄴ "Error: Invalid outside program"
-
25
댓글4
-
세상의모든계산기
[응용 TIP] - 복잡한 결과값에서 변수를 개별적으로 확인할 때 사용
solve() 또는 csolve() 의 결과값이 너무 복잡해서 한 눈에 보기가 어려운 경우(결과가 너무 김/변수가 너무 많음/해의 집합이 너무 많음)에도 제약 연산자를 사용하면 변수명 별 결과를 각각 확인할 수 있습니다.
변수명|solve결과값
예시 : http://www.allcalc.org/25229
※ 해의 집합이 여러 쌍인 경우에는 본문의 주의사항에서와 같이 대체변수를 이용하셔야 합니다.
-
세상의모든계산기
TI-89 Voyage 와 차이 - 라플라스 laplace 함수 정의
http://www.seg.etsmtl.ca/ti/laplace.html
ㄴ 위에 나온대로 함수를 정의해 보면
ㄴ 89 에서는 정상 작동
ㄴ 【2nd】【STO】 RCL 해서 "la"를 확인해 보면, 처음 함수정의한 그대로 저장되어 있습니다.
ㄴ TI-nspire 에서는 안됨
ㄴ Recall Definition 해 보면 함수 정의한 | 을 이용해 저장되어 있지 않고, 조각함수(piecewise function) 꼴로 변경되어 정의되어 있음.
ㄴ 함수만 따로 저장하고 조건문 |s>10^10 은 따로 걸어줘야 정상 작동합니다.
-
세상의모든계산기
EOS™ (Equation Operating System) Hierarchy
https://education.ti.com/html/webhelp/eg_tinspire/en/Subsystems/EG_RefGuide/Content/M_RefGuide/RG_EOS_Hierarchy.HTML 에 따르면
연산 순서 Order of Evaluation 로는
18번으로 꼴지인 Store 바로 앞이 17번 순서이긴 한데...
본문의 예를 보면
defined function 의 내부적 처리보다는 빠르게 적용되는 것으로 보입니다.
https://allcalc.org/51290 의 예를 보더라도
abs( ) 함수의 처리보다 빠른 것을 알 수 있습니다.
function calls 는 순서 3번인데 말이죠?
-
세상의모든계산기
일부만 적용, 괄호 내 적용 ⇒ 가능
ㄴ 괄호 안에 제약식이 사용되면, 괄호 내에서만 부분적으로 적용될 수 있습니다.
세상의모든계산기 님의 최근 댓글
불러오기 할 때 변수값을 먼저 확인하고 싶을 때는 VARIABLE 버튼 【⇄[x]】목록에서 확인하고 Recall 하시면 되고, 변수값을 이미 알고 있을 때는 바로 【⬆️SHIFT】【4】로 (A)를 바로 입력할 수 있습니다. 2025 10.24 fx-570 CW 로 계산하면? - 최종 확인된 결과 값 = 73.049507058478629343538 (23-digits) - 오차 = 6.632809104889414877 × 10^-19 꽤 정밀하게 나온건 맞는데, 시뮬레이션상의 22-digits 와 오차 수준이 비슷함. 왜 그런지는 모르겠음. - 계산기중 정밀도가 높은 편인 HP Prime CAS모드와 비교해도 월등한 정밀도 값을 가짐. 2025 10.24 HP Prime 에서 <Home> 73.0495070344 (12-decimal-digits) // python 시뮬레이션과 일치 <CAS> 21자리까지 나와서 이상하다 싶었는데, Ans- 에서 자릿수를 더 늘려서 빼보니, 뒷부분 숫자가 아예 바뀌어버림. 버그인가? (전) 73.0495070584718691243 (21-digits ????) (후) 73.0495070584718500814401 (24-digits ????) 찾아보니 버그는 아니고, CAS에서는 십진수가 아니라 2진수(bit) 단위로 처리한다고 함. Giac uses 48 bits mantissa from the 53 bits from IEEE double. The reason is that Giac stores CAS data (gen type) in 64 bits and 5 bits are used for the data type (24 types are available). We therefore loose 5 bits (the 5 low bits are reset to 0 when a double is retrieved from a gen). 출처 : https://www.hpmuseum.org/cgi-bin/archv021.cgi?read=255657 일단 오차를 놓고 보면 16-decimal-digits 수준으로 보임. 2025 10.23 khiCAS 에서 HP 39gII 에 올린 khiCAS는 254! 까지 계산 가능, 255! 부터는 ∞ fx-9750GIII 에 올린 khiCAS는 factorial(533) => 425760136423128437▷ // 정답, 10진수 1224자리 factorial(534) => Object too large 2025 10.23 같은 방식으로 500! 근사값을 구해보면 1.219933487 × 10^(1134) 1.22013682599111006870123878542304692625357434280319284219241358838 × 10^(1134) (참값, 울프람 알파) 2025 10.23