51 lines
1.9 KiB
Plaintext
51 lines
1.9 KiB
Plaintext
-------------------------------------------------------------------
|
|
Wed Sep 11 15:30:19 UTC 2024 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- Update to release 2024.09.08
|
|
* added logic templates: 1 * n, n * 1 -> n
|
|
* added logic templates: QUO_INT( n, 1 ) ->
|
|
n & REM_INT( n, 1 ) -> 0
|
|
* added logic template: 0 * n -> 0
|
|
* added logic template: List( [ 1 .. n ], ... REM_INT ...
|
|
QUO_INT ... ) -> [ 1 .. n ]
|
|
* added logic template: 0 + n -> n
|
|
* added logic template: n - 1 + 1 -> n
|
|
* added logic templates for the identity permutation matrix
|
|
* added logic templates for ConvertMatrixToRow/Column of 1x1
|
|
identity matrices
|
|
* added logic template for the tranposed of identity matrices
|
|
* added logic template for Kronecker products with 1x1 identity
|
|
matrices
|
|
* added logic template for the Kronecker product of two
|
|
identity matrices
|
|
|
|
-------------------------------------------------------------------
|
|
Sat Mar 23 21:24:48 UTC 2024 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- Update to release 2024.03.02
|
|
* No changelog was provided
|
|
|
|
-------------------------------------------------------------------
|
|
Sat Feb 11 11:21:27 UTC 2023 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- Update to release 2023.02.06
|
|
* No changelog was provided
|
|
|
|
-------------------------------------------------------------------
|
|
Sat Nov 19 04:41:44 UTC 2022 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- Update to release 2022.10.06
|
|
* Derive ZeroMorphism as the empty sum of morphisms
|
|
* Make FreydCategoriesForCAP independent of LinearAlgebraForCAP
|
|
|
|
-------------------------------------------------------------------
|
|
Wed Nov 14 20:22:48 UTC 2018 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- Update to new upstream release 2018.08.31
|
|
* No changelog was provided
|
|
|
|
-------------------------------------------------------------------
|
|
Fri Dec 22 20:18:50 UTC 2017 - jengelh@inai.de
|
|
|
|
- Initial package (version 2017.09.25) for build.opensuse.org
|