def test_interior_0_form(self):
   x = self.x
   y = self.y
   z = self.z
   logdf = LogarithmicDifferentialForm(0,[x*y-y*z+x**2-z**2+x*x-y*z],self.normal_logdf)
   int_product = logdf.interior_product()
   zero = LogarithmicDifferentialForm.make_zero(0,self.normal_logdf)
   self.assertTrue(int_product.equals(zero))
 def test_interior_1_form(self):
   x = self.normal_logdf.form_vars[0]
   y = self.normal_logdf.form_vars[1]
   z = self.normal_logdf.form_vars[2]
   form = DifferentialForm(self.normal_logdf.form_space,0,(x+y+z)/(x*y*z))
   one = self.poly_ring.one()
   logdf = LogarithmicDifferentialForm(1,[one,one,one],self.normal_logdf)
   int_product = logdf.interior_product()
   logdf_form = LogarithmicDifferentialForm.create_from_form(form,self.normal_logdf)
   self.assertTrue(int_product.equals(logdf_form))
예제 #3
0
 def test_interior_0_form(self):
     x = self.x
     y = self.y
     z = self.z
     logdf = LogarithmicDifferentialForm(
         0, [x * y - y * z + x**2 - z**2 + x * x - y * z],
         self.normal_logdf)
     int_product = logdf.interior_product()
     zero = LogarithmicDifferentialForm.make_zero(0, self.normal_logdf)
     self.assertTrue(int_product.equals(zero))
예제 #4
0
 def test_interior_1_form(self):
     x = self.normal_logdf.form_vars[0]
     y = self.normal_logdf.form_vars[1]
     z = self.normal_logdf.form_vars[2]
     form = DifferentialForm(self.normal_logdf.form_space, 0,
                             (x + y + z) / (x * y * z))
     one = self.poly_ring.one()
     logdf = LogarithmicDifferentialForm(1, [one, one, one],
                                         self.normal_logdf)
     int_product = logdf.interior_product()
     logdf_form = LogarithmicDifferentialForm.create_from_form(
         form, self.normal_logdf)
     self.assertTrue(int_product.equals(logdf_form))
 def test_interior(self):
   xp = self.x
   yp = self.y
   zp = self.z
   logdf = LogarithmicDifferentialForm(2,[xp**2,xp+4*yp+zp,xp**3*zp**3],self.whitney_logdf)
   int_product = logdf.interior_product()
   x = self.normal_logdf.form_vars[0]
   y = self.normal_logdf.form_vars[1]
   z = self.normal_logdf.form_vars[2]
   whitney = x**2*y - z**2
   form = DifferentialForm(self.normal_logdf.form_space,1)
   form[0] = (-2*x**2*y-2*x*z-8*y*z-2*z**2)/whitney
   form[1] = (x**3-2*x**3*z**4)/whitney
   form[2] = (x**2+4*x*y+x*z+2*x**3*y*z**3)/whitney
   logdf_form = LogarithmicDifferentialForm.create_from_form(form,self.whitney_logdf)
   self.assertTrue(int_product.equals(logdf_form))
예제 #6
0
 def test_interior(self):
     xp = self.x
     yp = self.y
     zp = self.z
     logdf = LogarithmicDifferentialForm(
         2, [xp**2, xp + 4 * yp + zp, xp**3 * zp**3], self.whitney_logdf)
     int_product = logdf.interior_product()
     x = self.normal_logdf.form_vars[0]
     y = self.normal_logdf.form_vars[1]
     z = self.normal_logdf.form_vars[2]
     whitney = x**2 * y - z**2
     form = DifferentialForm(self.normal_logdf.form_space, 1)
     form[0] = (-2 * x**2 * y - 2 * x * z - 8 * y * z - 2 * z**2) / whitney
     form[1] = (x**3 - 2 * x**3 * z**4) / whitney
     form[2] = (x**2 + 4 * x * y + x * z + 2 * x**3 * y * z**3) / whitney
     logdf_form = LogarithmicDifferentialForm.create_from_form(
         form, self.whitney_logdf)
     self.assertTrue(int_product.equals(logdf_form))