(Possibly dumb question) As a topologist, not a computer scientist - is &quot;discrete differential forms&quot; just the practice of computing things in De Rham cohomology by passing to simplicial homology via Poincare duality?