Changes between Version 7 and Version 8 of Ticket #29581, comment 47
- Timestamp:
- 08/19/21 08:59:19 (12 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #29581, comment 47
v7 v8 1 1 Well, what I need to know is already encoded in the characteristic cohomology class itself. For example, if it contains no Euler class generator, then I don't need to invoke `EulerAlgorithm().get(nab)`. Like I said, this only matters for the "mixed" PontryaginEuler case because in any other case I have to do the full computation anyway. 2 2 3 One reason why this is important: in the odd-rank case, this algorithm for the Euler class is not working. But one may still want to compute the Pontryagin classes.3 One reason why this is important: in the odd-rank case, or for non-Levi-Civita connections, this algorithm for the Euler class is not working. But one may still want to compute the Pontryagin classes. 4 4 5 5 The current commit makes sure of that by asking for the power of a certain generator and returning the one scalar field right away if the exponent is zero. This works, but it feels rather dirty to me, and I ponder whether there might be a nicer solution to this.