Develop -> main, release version 0.2

.gitignore

@@ -12,6 +12,9 @@ vcpkg-configuration.json
 *.sln
 *.vcxproj*
 
+# Generated documentation
+docs/doxygen/
+
 #local dev crutch-tools
 devjournal.md
 concat_codebase_to_txt.bat

CMakeLists.txt

@@ -36,7 +36,7 @@ endif()
 find_package(Boost REQUIRED)          # Boost libraries (headers mostly)
 find_package(Eigen3 REQUIRED)         # Eigen3 for linear algebra
 find_package(fmt CONFIG REQUIRED)     # fmtlib for formatting
-
+find_package(absl CONFIG REQUIRED)    # migration from pure multiprecision.
 # 4. Google Test (included once for the whole project)
 include(FetchContent)
 set(gtest_force_shared_crt ON CACHE BOOL "" FORCE)   # Ensure consistent CRT with MSVC
@@ -58,6 +58,8 @@ target_link_libraries(delta_core INTERFACE
     Eigen3::Eigen
     OpenMP::OpenMP_CXX
     fmt::fmt
+    absl::int128
+    absl::strings 
 )
 
 if(MSVC)
@@ -67,19 +69,34 @@ if(MSVC)
     target_compile_definitions(delta_core INTERFACE EIGEN_HAS_OPENMP)
 endif()
 
-# Option to select static vs dynamic rational backend (see delta/core/rational.h)
-option(DELTA_USE_STATIC_RATIONAL "Use static rational with fixed bit width" OFF)
-if(DELTA_USE_STATIC_RATIONAL)
-    target_compile_definitions(delta_core INTERFACE DELTA_RATIONAL_BITS=256)
-endif()
 
 # Helper variable: directory containing the MSVC compiler (used for DLL discovery in tests)
 get_filename_component(MSVC_BIN_DIR ${CMAKE_CXX_COMPILER} DIRECTORY CACHE INTERNAL "")
 
+
+
+# Явно указываем стандарт C++20 для всех таргетов
+set(CMAKE_CXX_STANDARD 20)
+set(CMAKE_CXX_STANDARD_REQUIRED ON)
+set(CMAKE_CXX_EXTENSIONS OFF)
+
+# Для MSVC включаем /std:c++20 и /permissive- для строгого соответствия стандарту
+#if(MSVC)
+#    add_compile_options(/std:c++20 /permissive-)
+#        add_compile_options(/showIncludes-)
+#        set(CMAKE_MSVC_SHOW_INCLUDES OFF CACHE BOOL "" FORCE)
+#endif()
+
+# Добавляем определение макроса для тестов
+add_compile_definitions($<$<CONFIG:Debug>:_DEBUG>)
+
 # Add subdirectories for tests, examples, and benchmarks
+add_subdirectory("tests/rational")
 add_subdirectory("tests/basic")
 add_subdirectory("tests/calculus")
 add_subdirectory("tests/regulative_ideas")
+add_subdirectory("tests/geometry")
 add_subdirectory("tests/numerical")
-add_subdirectory("examples/arbitrary_regulative_ideas")
+#add_subdirectory("tests/solvers")
+#add_subdirectory("examples/arbitrary_regulative_ideas")
 add_subdirectory("benchmarks")

CMakePresets.json

@@ -10,8 +10,12 @@
       "cacheVariables": {
         "CMAKE_C_COMPILER": "cl.exe",
         "CMAKE_CXX_COMPILER": "cl.exe",
+        "CMAKE_MSVC_SHOW_INCLUDES": "OFF",
+        "CMAKE_DEPENDS_USE_COMPILER": "OFF",
+        "CMAKE_NINJA_FORCE_RESPONSE_FILE": "ON",
         "CMAKE_TOOLCHAIN_FILE": "$env{VCPKG_ROOT}/scripts/buildsystems/vcpkg.cmake",
-        "VCPKG_TARGET_TRIPLET": "x64-windows"
+        "VCPKG_TARGET_TRIPLET": "x64-windows",
+        "CMAKE_CXX_FLAGS": "/DWIN32 /D_WINDOWS /W3 /GR /EHsc /MP"
       },
       "condition": {
         "type": "equals",
@@ -27,18 +31,30 @@
         "value": "x64",
         "strategy": "external"
       },
-      "cacheVariables": { "CMAKE_BUILD_TYPE": "Debug" }
+      "cacheVariables": {
+        "CMAKE_BUILD_TYPE": "Debug"
+      }
     },
     {
       "name": "x64-release",
       "displayName": "x64 Release",
-      "inherits": "x64-debug",
-      "cacheVariables": { "CMAKE_BUILD_TYPE": "Release" }
+      "inherits": "windows-base",
+      "architecture": {
+        "value": "x64",
+        "strategy": "external"
+      },
+      "cacheVariables": {
+        "CMAKE_BUILD_TYPE": "Release",
+        "CMAKE_CXX_FLAGS_RELEASE": "/O2 /Oi /Ot /Gy /DNDEBUG /GL /Gw /arch:AVX2",
+        "CMAKE_EXE_LINKER_FLAGS_RELEASE": "/OPT:REF /OPT:ICF /LTCG"
+      }
     },
     {
       "name": "linux-base",
       "hidden": true,
-      "inherits": "windows-base",
+      "generator": "Ninja",
+      "binaryDir": "${sourceDir}/out/build/${presetName}",
+      "installDir": "${sourceDir}/out/install/${presetName}",
       "cacheVariables": {
         "CMAKE_TOOLCHAIN_FILE": "$env{VCPKG_ROOT}/scripts/buildsystems/vcpkg.cmake",
         "VCPKG_TARGET_TRIPLET": "x64-linux"
@@ -47,10 +63,6 @@
         "type": "equals",
         "lhs": "${hostSystemName}",
         "rhs": "Linux"
-      },
-      "architecture": {
-        "value": "x64",
-        "strategy": "external"
       }
     },
     {
@@ -63,37 +75,11 @@
       "name": "x64-release-linux",
       "displayName": "x64 Release (Linux)",
       "inherits": "linux-base",
-      "cacheVariables": { "CMAKE_BUILD_TYPE": "Release" }
-    },
-    {
-      "name": "macos-base",
-      "hidden": true,
-      "inherits": "windows-base",
       "cacheVariables": {
-        "CMAKE_TOOLCHAIN_FILE": "$env{VCPKG_ROOT}/scripts/buildsystems/vcpkg.cmake",
-        "VCPKG_TARGET_TRIPLET": "x64-osx"
-      },
-      "condition": {
-        "type": "equals",
-        "lhs": "${hostSystemName}",
-        "rhs": "Darwin"
-      },
-      "architecture": {
-        "value": "x64",
-        "strategy": "external"
+        "CMAKE_BUILD_TYPE": "Release",
+        "CMAKE_CXX_FLAGS_RELEASE": "-O3 -DNDEBUG -flto",
+        "CMAKE_EXE_LINKER_FLAGS_RELEASE": "-flto"
       }
-    },
-    {
-      "name": "x64-debug-macos",
-      "displayName": "x64 Debug (macOS)",
-      "inherits": "macos-base",
-      "cacheVariables": { "CMAKE_BUILD_TYPE": "Debug" }
-    },
-    {
-      "name": "x64-release-macos",
-      "displayName": "x64 Release (macOS)",
-      "inherits": "macos-base",
-      "cacheVariables": { "CMAKE_BUILD_TYPE": "Release" }
     }
   ]
-}
+}

Doxyfile

@@ -0,0 +1,153 @@
+# ============================================================================
+# Doxyfile 1.12.0 for Δ‑Analysis Library
+#
+# Generate with: doxygen Doxyfile
+# ============================================================================
+
+# ----------------------------------------------------------------------------
+# 1. Project
+# ----------------------------------------------------------------------------
+PROJECT_NAME           = "Δ‑Analysis"
+PROJECT_NUMBER         = 0.2.0
+PROJECT_BRIEF          = "Constructive mathematical framework for limits, continuity,
+differentiation, integration and DEC based on exact rational arithmetic. Also lazy expressions, soon to be symbolic"
+
+OUTPUT_DIRECTORY       = ./docs/doxygen
+CREATE_SUBDIRS         = NO
+OUTPUT_LANGUAGE        = English
+
+# ----------------------------------------------------------------------------
+# 2. Input files
+# ----------------------------------------------------------------------------
+INPUT                  = ./include \
+                         ./README.md \
+                         ./docs \
+                         ./tests
+
+RECURSIVE              = YES
+
+# Exclude everything that is not a chosen example
+EXCLUDE                = ./tests/basic \
+                         ./tests/geometry/constructive_core_test.cpp \
+                         ./tests/geometry/discrete_operators_3d_4d_test.cpp \
+                         ./tests/geometry/discrete_operators_test.cpp \
+                         ./tests/geometry/dual_complex_test.cpp \
+                         ./tests/geometry/hat_basis_test.cpp \
+                         ./tests/geometry/matrix_field_test.cpp \
+                         ./tests/geometry/product_regulative_test.cpp \
+                         ./tests/geometry/simplicial_complex_test.cpp \
+                         ./tests/geometry/tensor_field_test.cpp \
+                         ./tests/numerical/integrals_test.cpp \
+                         ./tests/rational \
+                         ./tests/regulative_ideas/test_matrix.cpp \
+                         ./tests/regulative_ideas/test_padic.cpp \
+                         ./tests/regulative_ideas/test_tree.cpp \
+                         ./tests/solvers \
+                         ./tests/test_fixtures.h \
+                         ./tests/test_fixtures_geometry_numerical.h \
+                         ./benchmarks \
+                         ./examples
+
+# Where to look for  tags
+EXAMPLE_PATH           = ./tests
+EXAMPLE_PATTERNS       = *.cpp
+
+FILE_PATTERNS          = *.h *.hpp *.md
+IMAGE_PATH             = ./docs/images
+
+# ----------------------------------------------------------------------------
+# 3. Extraction mode (rely on /** comments, not EXTRACT_ALL)
+# ----------------------------------------------------------------------------
+EXTRACT_ALL            = NO
+EXTRACT_PRIVATE        = NO
+EXTRACT_PACKAGE        = NO
+EXTRACT_STATIC         = NO
+EXTRACT_LOCAL_CLASSES  = YES
+EXTRACT_ANON_NSPACES   = NO
+HIDE_UNDOC_MEMBERS     = NO
+HIDE_UNDOC_CLASSES     = NO
+
+# ----------------------------------------------------------------------------
+# 4. Preprocessing and C++20 concepts
+# ----------------------------------------------------------------------------
+ENABLE_PREPROCESSING   = YES
+MACRO_EXPANSION        = YES
+EXPAND_ONLY_PREDEF     = YES
+PREDEFINED             = DOXYGEN_SHOULD_SKIP_THIS \
+                         "DELTA_USE_CACHING=1" \
+                         "requires=" \
+                         "concept="
+
+# ----------------------------------------------------------------------------
+# 5. HTML output
+# ----------------------------------------------------------------------------
+GENERATE_HTML          = YES
+HTML_OUTPUT            = html
+HTML_FILE_EXTENSION    = .html
+HTML_DYNAMIC_MENUS     = YES
+HTML_COLORSTYLE        = LIGHT
+GENERATE_TREEVIEW      = YES
+TREEVIEW_WIDTH         = 350
+SEARCHENGINE           = YES
+SERVER_BASED_SEARCH    = NO
+
+# ----------------------------------------------------------------------------
+# 6. LaTeX / PDF (disabled)
+# ----------------------------------------------------------------------------
+GENERATE_LATEX         = NO
+
+# ----------------------------------------------------------------------------
+# 7. Diagrams – DOT
+# ----------------------------------------------------------------------------
+HAVE_DOT               = NO       # it falls with errors as of yet, which is none of my concerns
+DOT_NUM_THREADS        = 1
+SHORT_NAMES            = YES
+DOT_GRAPH_MAX_NODES    = 50
+CLASS_GRAPH            = YES
+CALL_GRAPH             = NO
+CALLER_GRAPH           = NO
+DIRECTORY_GRAPH        = YES
+DOT_CLEANUP            = YES
+DOT_MULTI_TARGETS      = NO
+# ----------------------------------------------------------------------------
+# 8. Extra pages and main page
+# ----------------------------------------------------------------------------
+WARNINGS               = YES
+WARN_IF_UNDOCUMENTED   = YES
+WARN_IF_DOC_ERROR      = YES
+WARN_NO_PARAMDOC       = YES
+
+USE_MDFILE_AS_MAINPAGE = ./README.md
+
+# ----------------------------------------------------------------------------
+# 9. Graphs and relations
+# ----------------------------------------------------------------------------
+INCLUDE_GRAPH          = YES
+INCLUDED_BY_GRAPH      = YES
+DIRECTORY_GRAPH        = YES
+GRAPHICAL_HIERARCHY    = YES
+REFERENCED_BY_RELATION = YES
+REFERENCES_RELATION    = YES
+
+# ----------------------------------------------------------------------------
+# 10. Source browser (disabled)
+# ----------------------------------------------------------------------------
+SOURCE_BROWSER         = NO
+VERBATIM_HEADERS       = NO
+
+# ----------------------------------------------------------------------------
+# 11. Project-specific settings
+# ----------------------------------------------------------------------------
+HIDE_SCOPE_NAMES       = YES
+BRIEF_MEMBER_DESC      = YES
+REPEAT_BRIEF           = YES
+ALWAYS_DETAILED_SEC    = YES
+INLINE_INHERITED_MEMB  = YES
+FULL_PATH_NAMES        = YES
+STRIP_FROM_PATH        = ./include
+STRIP_FROM_INC_PATH    = ./include
+
+# ----------------------------------------------------------------------------
+# 12. Encoding
+# ----------------------------------------------------------------------------
+DOXYGEN_ENCODING       = UTF-8