Skip to content

Commit

Permalink
feat(data/finsum): sums over sets and types with no finiteness hypoth…
Browse files Browse the repository at this point in the history 
…eses (#6355)

This rather large PR is mostly work of Jason KY. It is all an API for `finsum` and `finsum_in`, sums over sets with no finiteness assumption, and which return zero if the sum is infinite.



Co-authored-by: Kexing <kexing.ying19@imperial.ac.uk>
  • Loading branch information
@kbuzzard @JasonKYi
kbuzzard and JasonKYi committed Apr 7, 2021
1 parent 6ea4e9b commit a1057a3
Show file tree
Hide file tree
Showing 7 changed files with 691 additions and 8 deletions.

0 comments on commit a1057a3

Please sign in to comment.