jax
7ea2bd72 - Merge pull request #307 from google/use-gather-for-indexing

Commit

6 years ago

Merge pull request #307 from google/use-gather-for-indexing index_take in terms of gather, delete index_untake

References

Author

mattjj

Parents