Mixed Forms - Zero Treatment for Scalar Multiplication #28921
Description
Now we have:
sage: M = Manifold(2, 'M')
sage: X.<x,y> = M.chart()
sage: A = M.mixed_form([1,0,0], name='A')
sage: 0*A
Mixed differential form 0/\A on the 2-dimensional differentiable manifold M
Better is:
sage: M = Manifold(2, 'M')
sage: X.<x,y> = M.chart()
sage: A = M.mixed_form([1,0,0], name='A')
sage: 0*A
Mixed differential form zero on the 2-dimensional differentiable manifold M
sage: (0*A) is M.mixed_form_algebra().zero()
True
sage: 1*A is A
True
CC: @tscrim @egourgoulhon
Component: geometry
Keywords: mixed-forms
Author: Michael Jung
Branch: 3226bc5
Reviewer: Travis Scrimshaw
Issue created by migration from https://trac.sagemath.org/ticket/28921