UpsilonNumworks/Upsilon
1
0
Fork 0
mirror of https://github.com/UpsilonNumworks/Upsilon.git synced 2026-03-27 01:29:58 +01:00
Code Issues Packages Projects Releases Wiki Activity

[poincare] Implement two rules using ReplaceWithTransform

Browse Source
This commit is contained in:
Romain Goyet
2017-09-29 21:19:27 +02:00
parent 7387e161e6
commit 149c88daf3
1 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
poincare/src/simplification/demo_ruleset.prs
View File

@@ -1,5 +1,14 @@
DemoRuleset
// 0*a -> 0
Multiplication.a(Integer.b[0]) -> ReplaceWithTransform(a,b);
// 1*a -> a
//Multiplication.a(Integer.b[1]) -> RemoveChildTransform(a,b);
// a+0 -> a
//Addition.a(Integer.b[0]) -> RemoveChildTransform(a,b);
// a^1 -> a
Power.a(Any.b,Integer.c[1]) -> ReplaceWithTransform(a,b);
// Remove parenthesis
Parenthesis.a -> RemoveParenthesisTransform(a);