├── .LiteRedFavicon.png ├── .github └── FUNDING.yml ├── Examples ├── NewDsSet.nb ├── example1.nb └── example2.nb ├── INSTALL ├── README.md └── Source ├── FermatCode ├── ibpreduce.Backward ├── ibpreduce.Forward └── sol ├── LiteRed2023.m ├── LiteRed2024.m ├── LiteRed2025.m ├── RNL ├── LinearFunctions.m ├── Mint.m ├── Numbers.m ├── Types.m ├── Vectors.m └── installMint.m └── makeShortcut.m /.LiteRedFavicon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/.LiteRedFavicon.png -------------------------------------------------------------------------------- /.github/FUNDING.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/.github/FUNDING.yml -------------------------------------------------------------------------------- /Examples/NewDsSet.nb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/Examples/NewDsSet.nb -------------------------------------------------------------------------------- /Examples/example1.nb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/Examples/example1.nb -------------------------------------------------------------------------------- /Examples/example2.nb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/Examples/example2.nb -------------------------------------------------------------------------------- /INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/INSTALL -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/README.md -------------------------------------------------------------------------------- /Source/FermatCode/ibpreduce.Backward: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/Source/FermatCode/ibpreduce.Backward -------------------------------------------------------------------------------- /Source/FermatCode/ibpreduce.Forward: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/Source/FermatCode/ibpreduce.Forward -------------------------------------------------------------------------------- /Source/FermatCode/sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/Source/FermatCode/sol -------------------------------------------------------------------------------- /Source/LiteRed2023.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/Source/LiteRed2023.m -------------------------------------------------------------------------------- /Source/LiteRed2024.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/Source/LiteRed2024.m -------------------------------------------------------------------------------- /Source/LiteRed2025.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/Source/LiteRed2025.m -------------------------------------------------------------------------------- /Source/RNL/LinearFunctions.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/Source/RNL/LinearFunctions.m -------------------------------------------------------------------------------- /Source/RNL/Mint.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/Source/RNL/Mint.m -------------------------------------------------------------------------------- /Source/RNL/Numbers.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/Source/RNL/Numbers.m -------------------------------------------------------------------------------- /Source/RNL/Types.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/Source/RNL/Types.m -------------------------------------------------------------------------------- /Source/RNL/Vectors.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/Source/RNL/Vectors.m -------------------------------------------------------------------------------- /Source/RNL/installMint.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/Source/RNL/installMint.m -------------------------------------------------------------------------------- /Source/makeShortcut.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rnlg/LiteRed2/HEAD/Source/makeShortcut.m --------------------------------------------------------------------------------