Commit graph

Select branches

Hide pull requests

main

reps

v0.1.0

v0.2.0

Mono Color

• bd1eee1366
  
  Various guide edits main origin/main origin/HEAD Kiana Sheibani 2024-06-08 15:28:57 -0400
• 8903575d8b
  
  Fix various guide issues Kiana Sheibani 2024-05-06 04:55:50 -0400
• d8c22d7ed6
  
  Make WithEpsilon named implementations generic Kiana Sheibani 2024-05-06 04:36:43 -0400
• f6809697e8
  
  Replaces uses of elements with toVect Kiana Sheibani 2024-05-06 04:36:30 -0400
• 598e60c2da
  
  Allow One in non-safe ranged indexing Kiana Sheibani 2024-05-06 04:36:02 -0400
• 56d49256a0
  
  Fix issues with guide sections Kiana Sheibani 2024-05-06 04:35:31 -0400
• b9aeddadec
  
  Finish section on transforms Kiana Sheibani 2024-05-06 04:10:29 -0400
• fd6d55f09d
  
  Update guide Kiana Sheibani 2024-05-06 02:35:07 -0400
• 5fef91ade7
  
  Rename Intro.md to Main.md in docs Kiana Sheibani 2024-05-06 02:34:41 -0400
• a31a7178f5
  
  Fix numbering Kiana Sheibani 2024-05-06 02:29:09 -0400
• a63e6246ac
  
  Get rid of sirdi file Kiana Sheibani 2024-04-28 00:31:46 -0400
• dfe99d9741
  
  Do not export PrimArray modules Kiana Sheibani 2024-04-28 00:31:11 -0400
• 963f27384f
  
  Remove believe_me calls blocking evaluation Kiana Sheibani 2024-04-28 00:30:52 -0400
• 76e4137d37
  
  Add function for delaying array modification Kiana Sheibani 2024-04-28 00:00:06 -0400
• 3b361caeb7
  
  Finished the second section of the guide Kiana Sheibani 2024-04-26 01:53:32 -0400
• 2318ee7660
  
  Fix use of removed function Kiana Sheibani 2024-04-26 01:02:43 -0400
• 762a41c32b
  
  Remove redundant array' function Kiana Sheibani 2024-04-25 13:38:22 -0400
• 8cdcf4664c
  
  Add second section of tutorial Kiana Sheibani 2024-04-25 13:37:59 -0400
• 4df7c93ad1
  
  Edit first section of tutorial Kiana Sheibani 2024-04-25 13:37:34 -0400
• 84205ff9cb
  
  Add beginnings of a tutorial Kiana Sheibani 2024-04-24 18:59:47 -0400
• 741e389496
  
  Remove Data.NP Kiana Sheibani 2024-03-01 18:56:27 -0500
• 4e3c524b08
  
  Update docstrings for new backend Kiana Sheibani 2024-03-01 18:55:43 -0500
• 9a5c0be049
  Add brief description Kiana Sheibani 2023-09-27 13:20:06 -0400
• 9686caced9
  
  Update README Kiana Sheibani 2023-09-26 00:43:22 -0400
• 77e5ba03b6
  
  Update ipkg Kiana Sheibani 2023-09-26 00:40:50 -0400
• c3c14eba04
  
  Fix primitive array functions handling empty arrays Kiana Sheibani 2023-09-26 00:39:47 -0400
• 4eb0c27203
  
  Update ipkg reps Kiana Sheibani 2023-09-25 23:49:21 -0400
• b924d960b5
  
  Tweak library functions to match reps Kiana Sheibani 2023-09-25 23:47:58 -0400
• 983733f241
  
  Remove LArray Kiana Sheibani 2023-09-25 22:55:53 -0400
• a0068469c5
  
  Revamp all of the standard array API Kiana Sheibani 2023-09-25 22:55:33 -0400
• ccb689af42
  
  Partially reimplement main API using reps Kiana Sheibani 2023-05-05 13:43:14 -0400
• bd235754d2
  
  Create PrimArray submodules for each rep Kiana Sheibani 2023-05-05 13:42:28 -0400
• eeb2967f6f
  
  Rename Data.NumIdr.Array.Order to Rep Kiana Sheibani 2023-05-05 13:41:21 -0400
• bc08b4942e
  
  Update README Kiana Sheibani 2023-03-16 09:17:14 -0400
• 7b6b71780a
  
  Add ranged unsafe indexing Kiana Sheibani 2023-03-16 09:16:57 -0400
• 3ca15ac2f6
  
  Document LArray a bit more Kiana Sheibani 2023-03-08 15:58:54 -0500
• 7be3544ce6
  
  Update package version Kiana Sheibani 2023-01-30 20:46:19 -0500
• a244acc7f1
  
  Add linear array module Kiana Sheibani 2023-01-30 20:42:44 -0500
• 13d5f7aa21
  
  Implmement HMatrix to Rigid conversion Kiana Sheibani 2022-12-09 15:29:40 -0500
• eddb0e318c
  
  Add more utility functions Kiana Sheibani 2022-11-30 22:02:56 -0500
• 524486bb58
  
  Misc. changes Kiana Sheibani 2022-11-30 12:54:01 -0500
• 0a54f607b0
  
  Add sirdi manifest file Kiana Sheibani 2022-10-21 20:37:07 -0400
• c359515270
  
  Update README.md Kiana Sheibani 2022-10-21 18:48:02 -0400
• ef07155161
  
  Update package version v0.2.0 Kiana Sheibani 2022-10-21 18:04:00 -0400
• be119f5116
  
  Add approximate floating point comparison Kiana Sheibani 2022-10-21 17:59:22 -0400
• 8e58fc8a1a
  
  Remove HACK annotation Kiana Sheibani 2022-10-21 17:49:41 -0400
• 3c2ebdc048
  
  Tweak how runtime-checked indexing works Kiana Sheibani 2022-10-21 17:49:01 -0400
• 077b393bd1
  
  Document everything Kiana Sheibani 2022-10-21 17:12:43 -0400
• 1ad4c1f13c
  
  Rename rotation constructors Kiana Sheibani 2022-10-21 10:03:43 -0400
• 342cff97dd
  
  Add utility functions for Transform types Kiana Sheibani 2022-10-15 16:09:32 -0400
• d3f5ad3bda
  
  Fix crash when folding an empty array Kiana Sheibani 2022-09-20 13:47:26 -0400
• 09901977c2
  
  Add constructors to interfaces Kiana Sheibani 2022-09-19 12:42:07 -0400
• 33f64c69d9
  
  Create Data.NumIdr.Transform.Transform Kiana Sheibani 2022-09-16 12:46:36 -0400
• 8839dd049a
  
  Add name suggestions to types Kiana Sheibani 2022-09-16 12:39:47 -0400
• 7c925aed9b
  
  Add Data.NumIdr.Transform Kiana Sheibani 2022-09-14 15:21:11 -0400
• 98223b180f
  
  Add documentation Kiana Sheibani 2022-09-14 13:39:12 -0400
• d610874abc
  
  Implement matrix inverse Kiana Sheibani 2022-09-12 10:47:48 -0400
• f72826b329
  
  Update package to Idris2 0.5.1 Kiana Sheibani 2022-09-09 09:17:11 -0400
• 1f2a870a2c
  
  Implement linear equation solving using LUP Kiana Sheibani 2022-09-08 21:29:16 -0400
• 3e12505377
  
  Create Field and Scalar interfaces Kiana Sheibani 2022-09-06 13:37:50 -0400
• 47e889992d
  
  Generalize LU and LUP decomp to nonsquare matrices Kiana Sheibani 2022-09-06 11:48:13 -0400
• f02ebb70e5
  
  Update ipkg Kiana Sheibani 2022-09-03 21:57:56 -0400
• da4bb5873c
  
  Make small adjustments to code Kiana Sheibani 2022-09-02 21:45:10 -0400
• c9dada5206
  
  Refactor LU and LUP decomposition Kiana Sheibani 2022-09-02 15:01:50 -0400
• b74734fbc1
  
  Define functions for permuting arrays Kiana Sheibani 2022-09-01 18:25:07 -0400
• 0177781c74
  
  Create Data.Permutation Kiana Sheibani 2022-09-01 18:24:47 -0400
• 92fc8f00c9
  
  Generalize transpose to all arrays Kiana Sheibani 2022-08-31 16:01:21 -0400
• ea824a901b
  
  Implement LU and LUP decomposition Kiana Sheibani 2022-08-31 15:41:24 -0400
• 3246e0ed94
  
  Add new indexing functions Kiana Sheibani 2022-08-29 13:55:55 -0400
• 9ece7e6963
  
  Reorganize Data.NumIdr.Array.Coords Kiana Sheibani 2022-08-29 13:55:02 -0400
• 1d6b9d3be9
  
  Refactor Data.NumIdr.Array.Coords Kiana Sheibani 2022-08-27 19:11:13 -0400
• 8f1eef25dc
  
  Implement matrix determinant Kiana Sheibani 2022-08-04 15:19:20 -0400
• 8384f8f68b
  
  Update Data.NumIdr.Scalar Kiana Sheibani 2022-08-04 15:19:03 -0400
• 95a13ffd91
  
  Separate MultMonoid interface from MultGroup Kiana Sheibani 2022-08-04 15:18:12 -0400
• 7916e10aef
  
  Add operator form for unsafe indexing Kiana Sheibani 2022-08-04 15:13:00 -0400
• 1ebf0dcbe9
  
  Add Show instance for NP Kiana Sheibani 2022-08-04 15:08:17 -0400
• 6cdb22a6ed
  
  Rename MultNeutral to MultGroup Kiana Sheibani 2022-07-05 20:00:52 -0400
• 97bd20d722
  
  Add new utility functions for homogeneous coords Kiana Sheibani 2022-07-05 18:09:07 -0400
• ff50ebfd70
  Fix Scalar multiplication Kiana Sheibani 2022-06-25 02:34:15 -0400
• a615dfbdd5
  
  Update ipkg file to 0.1.0 v0.1.0 Kiana Sheibani 2022-06-25 01:06:41 -0400
• 59af31cdd7
  
  Add documentation Kiana Sheibani 2022-06-25 00:58:36 -0400
• 11d771b926
  
  Merge homogeneous modules Kiana Sheibani 2022-06-23 19:11:12 -0400
• c71cd953a0
  
  Implement matrix multiplication Kiana Sheibani 2022-06-23 19:10:47 -0400
• a0d9c766c0
  
  Refactor Mult and add MultNeutral Kiana Sheibani 2022-06-23 19:09:10 -0400
• 015b7f8cb1
  
  Rename *Maybe functions to *NB Kiana Sheibani 2022-06-15 22:47:43 -0400
• b0d48eaf00
  
  Fix indexMaybe and add more utility functions Kiana Sheibani 2022-06-15 22:37:34 -0400
• de66efe75b
  
  Create Data.NP Kiana Sheibani 2022-06-15 22:36:33 -0400
• cb0157cd8c
  
  Shape view Kiana Sheibani 2022-06-15 11:45:06 -0400
• 4b293d7e2a
  
  Introduce homogeneous coordinates Kiana Sheibani 2022-06-15 00:33:19 -0400
• acd0cb6aa5
  
  Add more array utility functions Kiana Sheibani 2022-06-14 20:21:37 -0400
• 03d06a42aa
  
  Rename stack to concat Kiana Sheibani 2022-06-13 14:42:35 -0400
• 87d8814c38
  
  Create Data.NumIdr.Multiply Kiana Sheibani 2022-05-26 18:50:07 -0400
• 97d1bdb538
  
  Add operators for indexing Kiana Sheibani 2022-05-24 09:44:13 -0400
• 861f1e29f2
  
  Add vector & matrix modules Kiana Sheibani 2022-05-21 16:38:21 -0400
• 1e7660b1f2
  
  Create Show instance for Array Kiana Sheibani 2022-05-20 10:53:29 -0400
• ff48a18478
  
  Add implementations for Array Kiana Sheibani 2022-05-20 08:40:24 -0400
• 5914652b7c
  
  Add range indexing support Kiana Sheibani 2022-05-19 08:49:57 -0400
• 76e16574f1
  
  Remove rank-index on Order type Kiana Sheibani 2022-05-16 08:56:45 -0400
• a499d14e87
  
  Add comments to everything Kiana Sheibani 2022-05-13 15:26:43 -0400
• a88fc5d9c6
  
  Rename unsafe and safe index in PrimArray interface Kiana Sheibani 2022-05-13 08:33:03 -0400
• b0e4253b88
  
  Create coordinate type Kiana Sheibani 2022-05-13 08:28:42 -0400
• a95f38202c
  
  Add new PrimArray constructor Kiana Sheibani 2022-05-13 08:26:51 -0400
• ad25af6e3f
  
  Remove unnecessary Data.Reify module Kiana Sheibani 2022-05-12 08:52:45 -0400
• 0a4be10a0d
  
  Remove unnecessary totality asserts Kiana Sheibani 2022-05-11 23:40:59 -0400
• 562d501f33
  
  Create Data.NumIdr.Array.Order Kiana Sheibani 2022-05-11 23:38:49 -0400
• a19ccd59a1
  
  Move Array module into new directory Kiana Sheibani 2022-05-11 23:37:56 -0400
• 55d304c734
  
  Create Data.Permutation Kiana Sheibani 2022-05-11 23:36:31 -0400
• c44fef3c94
  
  Add some utility functions for arrays Kiana Sheibani 2022-05-11 17:14:54 -0400
• e694536939
  
  Create Data.Reify Kiana Sheibani 2022-05-11 17:14:38 -0400
• cc1cef621b
  
  Create Data.NumIdr.Array Kiana Sheibani 2022-05-11 07:12:25 -0400
• 5481baa9c8
  
  Create Data.NumIdr.PrimArray Kiana Sheibani 2022-05-11 07:11:53 -0400
• f73026f8a8
  
  Add ipkg file Kiana Sheibani 2022-05-10 17:35:12 -0400
• 20a36a533e
  Update .gitignore Kiana Sheibani 2022-05-10 16:41:34 -0400
• dfd2eb98d7
  Update .gitignore Kiana Sheibani 2022-05-10 16:40:42 -0400
• 9474734aa0
  Initial commit Kiana Sheibani 2022-05-10 16:38:53 -0400