Wedge Product with Scalar Fields

[DeRhamSource]

The wedge product of differential forms was not compatible with scalar fields:

sage: M = Manifold(2, 'M')
sage: c_cart.<x,y> = M.chart()
sage: a = M.diff_form(1, [x, y], name='a')
sage: f = M.scalar_field(x^2, name='f')
sage: a.wedge(f)
AttributeError                            Traceback (most recent call last)
<ipython-input-1-039619b3382c> in <module>()
      3 a = M.diff_form(Integer(1), [x, y], name='a')
      4 f = M.scalar_field(x**Integer(2), name='f')
----> 5 a.wedge(f)
...
AttributeError: 'DiffScalarFieldAlgebra_with_category.element_class' object has no attribute '_ambient_domain'

In this ticket, this gets fixed.

This ticket is part of the metaticket #28519.

CC: @tscrim @egourgoulhon

Component: geometry

Keywords: scalar fields, wedge product

Author: Michael Jung

Branch/Commit: 16d849e

Reviewer: Eric Gourgoulhon

Issue created by migration from https://trac.sagemath.org/ticket/28579

[DeRhamSource]

Branch: u/gh-DeRhamSource/wedge_product_with_scalar_fields

[DeRhamSource]

Description changed:

--- 
+++ 
@@ -1 +1,20 @@
+The wedge product of differential forms was not compatible with scalar fields:
 
+```
+sage: M = Manifold(2, 'S^2', start_index=1) # the 2-dimensional sphere S^2
+sage: c_cart.<x,y> = M.chart()
+sage: a = M.diff_form(1, [x, y], name='a')
+sage: f = M.scalar_field(x^2, name='f')
+sage: a.wedge(f)
+AttributeError                            Traceback (most recent call last)
+<ipython-input-1-039619b3382c> in <module>()
+      3 a = M.diff_form(Integer(1), [x, y], name='a')
+      4 f = M.scalar_field(x**Integer(2), name='f')
+----> 5 a.wedge(f)
+...
+AttributeError: 'DiffScalarFieldAlgebra_with_category.element_class' object has no attribute '_ambient_domain'
+```
+
+In this ticket, this gets fixed.
+
+This ticket is part of the metaticket #28519.

[DeRhamSource]

New commits:

62dabd4

Wedge product compatible with scalar fields

[DeRhamSource]

Changed keywords from none to scalar fields, wedge product

[DeRhamSource]

Commit: 62dabd4

[DeRhamSource]

Author: Michael Jung

[DeRhamSource]

Reviewer: Eric Gourgoulon, Travis Scrimshaw

[DeRhamSource]

Description changed:

--- 
+++ 
@@ -1,7 +1,7 @@
 The wedge product of differential forms was not compatible with scalar fields:
 
 ```
-sage: M = Manifold(2, 'S^2', start_index=1) # the 2-dimensional sphere S^2
+sage: M = Manifold(2, 'M')
 sage: c_cart.<x,y> = M.chart()
 sage: a = M.diff_form(1, [x, y], name='a')
 sage: f = M.scalar_field(x^2, name='f')

[DeRhamSource]

Dependencies: #28579