1
이 가능 $ 가정에서 패턴을 사용하는 것입니다.
나는 가정의 클래스를 정의하고 싶습니다. 따라서 위와 같은 결과를 얻을 수 있습니까? 감사!
A
답변
1
Mathematica 문서의 예제는 Sqrt[x^2]이고 가정을 Element[x,Reals]으로하면 Abs [x]로 단순화됩니다. 이뿐만 아니라 기능의 패턴을 잘 작동 :
Simplify[Sqrt[f[x]^2], f[_] \[Element] Reals]
+1
엘리먼트가 패턴 인수를 취하기 때문에 패턴이 "직접적으로"사용된다는 점을 주목하십시오. 예를 들어 f [_]> 0과 같이 할 수는 없습니다. Jens의 대답은 여기를 참조하십시오 .. http://mathematica.stackexchange.com/questions/14984/pattern-matching-in-subscripted-variables – agentp
관련 문제
- 1. 가 <SQL Server의 <로 변환
- 2. <%= %>과 <%: %>
- 3. 정보를 웹 사이트에 "실시간"으로 표시하는 방법은 무엇입니까?</p> <p>까지 : 0</p> <p>다운 : 0</p> <p>왼쪽 : 0</p> <p>오른쪽 :
- 4. 내가 <code>Statuss</code><code>skip(0).limit(5)</code></p> <p>이 시도 선택하려는 배열을
- 5. 내가 <code>DrawerLayout</code></p> <p>을하려고
- 6. 는</p> <p>는 inputfile의에서</p> <pre><code>SOMETHING {}; </code></pre> <p>에 의해</p> <pre><code>EXTRATHING { }; </code></pre> <p>을 대체 단순히 다음을 수행 할
- 7. const QList <int> warnings = QList <int>() << 0; GCC 4.7.2
- 8. 방법 그룹은 내가</p> <p><code>Foo<T>(IComparer<T> comp)</code> 내가</p> <pre><code>Foo<DateTime> (DateTime.compare) </code></pre> <p>로 전화를 할 쓰기 <DateTime>
- 9. java.lang.reflect.InvocationTargetException?</p> <pre><code>java.lang.reflect.InvocationTargetException </code></pre> <p>:
- 10. 정지 theJit 내가 <strong>theJit</strong><strong>로 SpaceTree</strong>을 사용하고
- 11. 게임 내가</p> <pre><code>System.runFinalizersOnExit(true); System.exit(0); </code></pre> <p>을 사용</p> <p>내 게임의 종료 버튼에 AndEngine
- 12. github add <<<<<<< HEAD
- 13. 내가 <code><div></code> 블록 내부 <code><script></code> 블록을 코드에서 <script> 요소
- 14. 있는 UITableViewCell 내용이</p> <pre><code>tableView.rowHeight = UITableViewAutomaticDimension </code></pre> <p>로
- 15. <code>istream_iterator<int></code> 및 <code>multimap<char, int> output</code>을 사용하면 다중 맵
- 16. JQuery와 HTML() -> 오류 :</p> <p><code>var node = $(xml).find('target');</code></p> <p>노드 <code><content><item><target>Breadcrumbs</target></item> </content></code> 같은 것이다 :이 [0]이 .innerHTML
- 17. 내가 릴리스 버전을 게시 할 때 <code>c:</code><code>d:</code>에 변경하려면 내가</p> <pre><code><configuration> <general path="c:\abc\" /> </configuration> </code></pre> <p>을 내 <code>web.config</code> 파일에서
- 18. 내가 <strong><em>QStandardItemModel가 <strong><em>QTtableview</em></strong>가 개최하는 정규 표현식에와</em></strong></li> <li>나는 또한 <strong><em>QTableview</em></strong>에와 <strong>* QStandardItemModel</strong>을 사용하여 사용
- 19. Objective-C에서 사용자 지정 지시문을 만들 수 있습니까?</p> <ul> <li>@interface</li> <li>@implementation</li> <li>@end</li> <li>@protocol 내가 생각</li> <li>@property</li> <li>@synthesize</li> </ul> <p>:
- 20. 람다 식 내가</p> <pre><code>Expression<Func<SomeType, bool>> predicate </code></pre> <p>에</p> <pre><code>Expression<Func<T, bool>> predicate </code></pre> <p>에서 주조 어떻게
- 21. 내가 <pre><code>ObservableList<MyData> </code></pre> <p><code>MyData</code></p>에 나는 데이터가 저장했던</p> <pre><code>LineChart<Number,Number> </code></pre> <p>를 구축 할 필요가 자바 FX ObservableList
- 22. 는</p> <pre><code>www.example.com/public/questions.php?question_id= <int> </code></pre> <p>이</p> <pre><code>www.example.com/questions/ <int> </code></pre> <p>로 이동
- 23. 어떻게 단어 <ul><li><div><a></a></div></li></ul>
- 24. Heredoc <<< 또는 <<?
- 25. 팬더의 연결은 내가 4 새 DFS (<code>media</code>, <code>client</code>, <code>code_type</code> 및 <code>date</code>)로 분해 것으로, null 값
- 26. <p> </p>, 차이</html:html><html:html> 사이 <html></html>
- 27. 은 iTextSharp에게</p> <pre><code><table><tr><td><img src='images/my.jpg'/></td></tr><tr><td>some text</td></tr></table> </code></pre> <p>QUS pdf 파일의
- 28. 2 개 n 번째 자식 블록</p> <pre><code><div><span></span><span></span><span></span> <div><span></span><span></span><span></span></div> </div> </code></pre> <p>다음 HTML을 감안할 때 N
- 29. 신경망이 멀티플렉서 패턴을 학습 할 수 있습니까? <code>A</code>, <code>B</code>, <code>C</code> :
- 30. 바이트 값을 비교합니까? ... 않는</p> <pre><code>boolean match = (data[0] == 0xFE); </code></pre> <p>... 동안
일부 검색을 수행 한 후, 나는이 질문에 대한 몇 가지 스레드가 이미 있습니다 발견했다. 아직 완벽한 방법은 없지만 계산 전에 모든 필요한 규칙을 추가 할 수 있습니다. 참조 : [1] (http://mathematica.stackexchange.com/questions/15410/how-to-define-a-large-number-of-assumptions), [2] (http://mathematica.stackexchange.com/questions/14984/pattern-matching-subscripted-variables). –