UpsilonNumworks/Upsilon
1
0
Fork 0
mirror of https://github.com/UpsilonNumworks/Upsilon.git synced 2026-01-19 00:37:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Poincare: Removing dead code

Browse Source 
Change-Id: I6d38a7f7be99e8b219f541673b6cb5815b9408d9
This commit is contained in:
Romain Goyet
2016-04-07 15:34:42 +02:00
parent d9354ac1cc
commit e41150f56d
1 changed files with 0 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
poincare/src/simplify/rules_generation/rules.pr
View File

@@ -1,3 +0,0 @@
Integer(a)->Integer(a);
Addition(Addition(a,b),c)->Addition(a,b,c);
Addition(Addition(a*),b*)->Addition(a*,b*);