remove duplicates

Author: JuliusFiedler

control_theory1.py

@@ -323,10 +323,16 @@ def R4349__has_assertion():
     R3__is_subclass_of=I1793["general model representation property"],
 )
 
+I6197 = p.create_item(
+    R1__has_label="differential equation",
+    R2__has_description="type of mathematical equation that involves derivatives",
+    R3__is_subclass_of=p.I12["mathematical object"],
+)
+
 I8063 = p.create_item(
     R1__has_label="partial differential equation",
-    R2__has_description="explicit partial differential equation",
-    R3__is_subclass_of=I2928["general model representation"],
+    R2__has_description="differential equation which contains derivatives w.r.t. more than one independent variable",
+    R3__is_subclass_of=I6197["differential equation"],
 )
 
 R5718 = p.create_relation(
@@ -1326,19 +1332,6 @@ def R4349__has_assertion():
 )
 
 
-I6197 = p.create_item(
-    R1__has_label="differential equation",
-    R2__has_description="type of mathematical equation that involves derivatives",
-    R3__is_subclass_of=p.I12["mathematical object"],
-)
-
-
-I3123 = p.create_item(
-    R1__has_label="partial differential equation",
-    R2__has_description="differential equation which contains derivatives w.r.t. more than one independent variable",
-    R3__is_subclass_of=I6197["differential equation"],
-)
-
 
 I1462 = p.create_item(
     R1__has_label="ordinary differential equation",

math1.py

@@ -1240,6 +1240,7 @@ def I5359_cc_pp(self, res, *args, **kwargs):
     R1__has_label="definite integral",
     R2__has_description="integral operator ∫. Args are: expression, integration variable, limits-tuple",
     R4__is_instance_of=I5442["general integral"],
+    R7__has_arity=3,
     R8__has_domain_of_argument_1=p.I12["mathematical object"],
     R9__has_domain_of_argument_2=p.I12["mathematical object"], # integration variable
     R10__has_domain_of_argument_3=p.I33["tuple"],  # (start, stop) -tuple
@@ -1250,6 +1251,7 @@ def I5359_cc_pp(self, res, *args, **kwargs):
     R1__has_label="indefinite integral",
     R2__has_description="integral operator ∫. Args are: expression, integration variable, limits-tuple",
     R4__is_instance_of=I5442["general integral"],
+    R7__has_arity=2,
     R8__has_domain_of_argument_1=p.I12["mathematical object"],
     R9__has_domain_of_argument_2=p.I12["mathematical object"], # integration variable
     R11__has_range_of_result=p.I18["mathematical expression"],