fricas-devel  

Messages by Date

• 2023/11/20 Re: [fricas-devel] real? sqrt (-sqrt 2) Dima Pasechnik
• 2023/11/20 Re: [fricas-devel] real? sqrt (-sqrt 2) Waldek Hebisch
• 2023/11/20 Re: [fricas-devel] real? sqrt (-sqrt 2) Qian Yun
• 2023/11/19 Re: [fricas-devel] better integration result -- avoid complicated roots Waldek Hebisch
• 2023/11/19 Re: [fricas-devel] better integration result -- avoid complicated roots Waldek Hebisch
• 2023/11/19 Re: [fricas-devel] better integration result -- avoid complicated roots Qian Yun
• 2023/11/19 Re: [fricas-devel] real? sqrt (-sqrt 2) Qian Yun
• 2023/11/19 Re: [fricas-devel] better integration result -- avoid complicated roots Waldek Hebisch
• 2023/11/19 Re: [fricas-devel] real? sqrt (-sqrt 2) Waldek Hebisch
• 2023/11/19 Re: [fricas-devel] real? sqrt (-sqrt 2) oldk1331
• 2023/11/19 Re: [fricas-devel] real? sqrt (-sqrt 2) Waldek Hebisch
• 2023/11/19 Re: [fricas-devel] real? sqrt (-sqrt 2) Qian Yun
• 2023/11/19 Re: [fricas-devel] real? sqrt (-sqrt 2) Waldek Hebisch
• 2023/11/19 Re: [fricas-devel] better integration result -- avoid complicated roots Qian Yun
• 2023/11/19 Re: [fricas-devel] better integration result -- avoid complicated roots Waldek Hebisch
• 2023/11/19 [fricas-devel] real? sqrt (-sqrt 2) Qian Yun
• 2023/11/19 Re: [fricas-devel] [PATCH] fix build with CLISP (no ffi) Qian Yun
• 2023/11/19 [fricas-devel] better integration result -- avoid complicated roots Qian Yun
• 2023/11/19 Re: [fricas-devel] [PATCH] fix build with CLISP (no ffi) Waldek Hebisch
• 2023/11/19 Re: [fricas-devel] [PATCH] fix build with CLISP (no ffi) Qian Yun
• 2023/11/19 Re: [fricas-devel] [PATCH] fix build with CLISP (no ffi) Waldek Hebisch
• 2023/11/18 [fricas-devel] [PATCH] fix build with CLISP (no ffi) Qian Yun
• 2023/11/18 Re: [fricas-devel] about GCL declarations Qian Yun
• 2023/11/18 [fricas-devel] Re: About the license file Tim Daly
• 2023/11/18 Re: [fricas-devel] about GCL declarations Waldek Hebisch
• 2023/11/18 Re: [fricas-devel] improve |sockGetStringFrom| Waldek Hebisch
• 2023/11/18 Re: [fricas-devel] about GCL declarations Qian Yun
• 2023/11/18 Re: [fricas-devel] about GCL declarations Waldek Hebisch
• 2023/11/18 Re: [fricas-devel] [PATCH] use $spadroot instead of (|getEnv| "FRICAS") Waldek Hebisch
• 2023/11/18 [fricas-devel] about GCL declarations Qian Yun
• 2023/11/18 Re: [fricas-devel] [PATCH] misc cleanups Waldek Hebisch
• 2023/11/18 Re: [fricas-devel] [PATCH] misc cleanups Qian Yun
• 2023/11/18 Re: [fricas-devel] [PATCH] misc cleanups Waldek Hebisch
• 2023/11/17 [fricas-devel] About the license file Qian Yun
• 2023/11/17 Re: [fricas-devel] [PATCH] misc cleanups Qian Yun
• 2023/11/17 Re: [fricas-devel] [PATCH] misc cleanups Waldek Hebisch
• 2023/11/15 Re: [fricas-devel] Re: [PATCH] misc cleanups Waldek Hebisch
• 2023/11/15 [fricas-devel] Re: [PATCH] misc cleanups Qian Yun
• 2023/11/15 [fricas-devel] improve |sockGetStringFrom| Qian Yun
• 2023/11/15 [fricas-devel] [PATCH] use $spadroot instead of (|getEnv| "FRICAS") Qian Yun
• 2023/11/15 [fricas-devel] [PATCH] misc cleanups Qian Yun
• 2023/11/14 Re: [fricas-devel] [PATCH] g-timer.boot: avoid duplication in statistics calculation and simplify code Waldek Hebisch
• 2023/11/14 Re: [fricas-devel] [PATCH] g-timer.boot: avoid duplication in statistics calculation and simplify code Qian Yun
• 2023/11/14 Re: [fricas-devel] [PATCH] simplify CMUCL build Waldek Hebisch
• 2023/11/14 [fricas-devel] [PATCH] simplify CMUCL build Qian Yun
• 2023/11/14 Re: [fricas-devel] [PATCH] g-timer.boot: avoid duplication in statistics calculation and simplify code Waldek Hebisch
• 2023/11/14 Re: [fricas-devel] [PATCH] further simplify 'sock_get_string_buf' Waldek Hebisch
• 2023/11/14 [fricas-devel] [PATCH] further simplify 'sock_get_string_buf' Qian Yun
• 2023/11/14 Re: [fricas-devel] [PATCH] g-timer.boot: avoid duplication in statistics calculation and simplify code Qian Yun
• 2023/11/13 Re: [fricas-devel] [PATCH] g-timer.boot: avoid duplication in statistics calculation and simplify code Waldek Hebisch
• 2023/11/13 Re: [fricas-devel] [PATCH] simplify FFI function "sock_get_string_buf" Waldek Hebisch
• 2023/11/11 Re: [fricas-devel] [PATCH] simplify FFI function "sock_get_string_buf" Qian Yun
• 2023/11/11 Re: [fricas-devel] [PATCH] simplify FFI function "sock_get_string_buf" Waldek Hebisch
• 2023/11/11 Re: [fricas-devel] strange error in GCL Waldek Hebisch
• 2023/11/11 Re: [fricas-devel] [PATCH] proper support for GMP on macOS Waldek Hebisch
• 2023/11/11 [fricas-devel] strange error in GCL Qian Yun
• 2023/11/11 [fricas-devel] [PATCH] simplify FFI function "sock_get_string_buf" Qian Yun
• 2023/11/11 Re: [fricas-devel] qnew implementations Hill Strong
• 2023/11/09 Re: [fricas-devel] qnew implementations Tim Daly
• 2023/11/09 Re: [fricas-devel] qnew implementations Hill Strong
• 2023/11/08 Re: [fricas-devel] [PATCH] proper support for GMP on macOS Qian Yun
• 2023/11/08 Re: [fricas-devel] [PATCH] proper support for GMP on macOS Waldek Hebisch
• 2023/11/08 Re: [fricas-devel] [PATCH] proper support for GMP on macOS oldk1331
• 2023/11/08 Re: [fricas-devel] [PATCH] proper support for GMP on macOS Waldek Hebisch
• 2023/11/08 Re: [fricas-devel] qnew implementations Waldek Hebisch
• 2023/11/07 Re: [fricas-devel] qnew implementations Hill Strong
• 2023/11/07 Re: [fricas-devel] qnew implementations Waldek Hebisch
• 2023/11/07 Re: [fricas-devel] qnew implementations Waldek Hebisch
• 2023/11/07 Re: [fricas-devel] qnew implementations Hill Strong
• 2023/11/07 [fricas-devel] [PATCH] proper support for GMP on macOS Qian Yun
• 2023/11/07 Re: [fricas-devel] shorten install path (skip e.g. target/x86_64-pc-linux-gnu)? Waldek Hebisch
• 2023/11/07 Re: [fricas-devel] FriCAS on Android with SBCL (on termux) Waldek Hebisch
• 2023/11/07 Re: [fricas-devel] FriCAS on Android with SBCL (on termux) Qian Yun
• 2023/11/07 Re: [fricas-devel] FriCAS on Android with SBCL (on termux) Waldek Hebisch
• 2023/11/07 Re: [fricas-devel] FriCAS on Android with SBCL (on termux) Qian Yun
• 2023/11/07 Re: [fricas-devel] FriCAS on Android with SBCL (on termux) Waldek Hebisch
• 2023/11/07 Re: [fricas-devel] shorten install path (skip e.g. target/x86_64-pc-linux-gnu)? Qian Yun
• 2023/11/07 Re: [fricas-devel] shorten install path (skip e.g. target/x86_64-pc-linux-gnu)? Waldek Hebisch
• 2023/11/07 Re: [fricas-devel] qnew implementations Ralf Hemmecke
• 2023/11/07 [fricas-devel] Re: [PATCH] g-timer.boot: avoid duplication in statistics calculation and simplify code Qian Yun
• 2023/11/07 [fricas-devel] shorten install path (skip e.g. target/x86_64-pc-linux-gnu)? Qian Yun
• 2023/11/07 Re: [fricas-devel] FriCAS on Android with SBCL (on termux) Ralf Hemmecke
• 2023/11/07 [fricas-devel] FriCAS on Android with SBCL (on termux) Qian Yun
• 2023/11/06 Re: [fricas-devel] qnew implementations Waldek Hebisch
• 2023/11/06 Re: [fricas-devel] Convertion of types to OutputFrom Waldek Hebisch
• 2023/11/06 Re: [fricas-devel] )clear complete Waldek Hebisch
• 2023/11/06 Re: [fricas-devel] )clear complete Qian Yun
• 2023/11/06 Re: [fricas-devel] )clear complete Waldek Hebisch
• 2023/11/06 Re: [fricas-devel] )clear complete Qian Yun
• 2023/11/06 [fricas-devel] )clear complete Ralf Hemmecke
• 2023/11/05 Re: [fricas-devel] qnew implementations Grégory Vanuxem
• 2023/11/05 Re: [fricas-devel] Convertion of types to OutputFrom Ralf Hemmecke
• 2023/11/05 Re: [fricas-devel] qnew implementations Ralf Hemmecke
• 2023/11/04 [fricas-devel] [PATCH] g-timer.boot: avoid duplication in statistics calculation and simplify code Qian Yun
• 2023/11/04 Re: [fricas-devel] qnew implementations Waldek Hebisch
• 2023/11/04 [fricas-devel] qnew implementations Grégory Vanuxem
• 2023/11/04 Re: [fricas-devel] Convertion of types to OutputFrom Waldek Hebisch
• 2023/11/04 Re: [fricas-devel] New wiki site Waldek Hebisch
• 2023/11/04 Re: [fricas-devel] [PATCH] use name instead of abbreviation in ")set message time long" Waldek Hebisch
• 2023/11/04 [fricas-devel] [PATCH] use name instead of abbreviation in ")set message time long" Qian Yun
• 2023/11/04 [fricas-devel] [PATCH] report statistics on printing procedures Qian Yun
• 2023/11/03 Re: [fricas-devel] Re: [PATCH] initial support for memory usage report Qian Yun
• 2023/11/03 Re: [fricas-devel] Re: [PATCH] initial support for memory usage report Waldek Hebisch
• 2023/11/03 [fricas-devel] Re: [PATCH] initial support for memory usage report Qian Yun
• 2023/10/30 Re: [fricas-devel] Convertion of types to OutputFrom Ralf Hemmecke
• 2023/10/30 Re: [fricas-devel] Convertion of types to OutputFrom Ralf Hemmecke
• 2023/10/30 Re: [fricas-devel] Convertion of types to OutputFrom Ralf Hemmecke
• 2023/10/30 Re: [fricas-devel] Convertion of types to OutputFrom Martin Baker
• 2023/10/30 Re: [fricas-devel] Convertion of types to OutputFrom Waldek Hebisch
• 2023/10/30 Re: [fricas-devel] GCL and compiler::*default-large-memory-model-p* Waldek Hebisch
• 2023/10/30 Re: [fricas-devel] GCL and compiler::*default-large-memory-model-p* Qian Yun
• 2023/10/29 Re: [fricas-devel] GCL and compiler::*default-large-memory-model-p* Waldek Hebisch
• 2023/10/29 Re: [fricas-devel] [PATCH] Fix "removeAllClams" Waldek Hebisch
• 2023/10/29 Re: [fricas-devel] remove "StatisticsSummary" related stuff Waldek Hebisch
• 2023/10/29 [fricas-devel] remove "StatisticsSummary" related stuff Qian Yun
• 2023/10/29 Re: [fricas-devel] Convertion of types to OutputFrom Ralf Hemmecke
• 2023/10/29 [fricas-devel] [PATCH] Fix "removeAllClams" Qian Yun
• 2023/10/29 [fricas-devel] GCL and compiler::*default-large-memory-model-p* Qian Yun
• 2023/10/28 Re: [fricas-devel] Convertion of types to OutputFrom Waldek Hebisch
• 2023/10/27 Re: [fricas-devel] Convertion of types to OutputFrom Waldek Hebisch
• 2023/10/26 Re: [fricas-devel] Convertion of types to OutputFrom Waldek Hebisch
• 2023/10/26 Re: [fricas-devel] Convertion of types to OutputFrom Ralf Hemmecke
• 2023/10/25 Re: [fricas-devel] Convertion of types to OutputFrom Waldek Hebisch
• 2023/10/23 Re: [fricas-devel] Make an Integral Work Waldek Hebisch
• 2023/10/22 Re: [fricas-devel] Make an Integral Work Dima Pasechnik
• 2023/10/22 Re: [fricas-devel] Make an Integral Work Mild Shock
• 2023/10/22 Re: [fricas-devel] Make an Integral Work Waldek Hebisch
• 2023/10/22 Re: [fricas-devel] Convertion of types to OutputFrom Waldek Hebisch
• 2023/10/22 Re: [fricas-devel] Convertion of types to OutputFrom Ralf Hemmecke
• 2023/10/22 Re: [fricas-devel] Convertion of types to OutputFrom Waldek Hebisch
• 2023/10/22 Re: [fricas-devel] Re: [PATCH] initial support for memory usage report Waldek Hebisch
• 2023/10/22 Re: [fricas-devel] Re: [PATCH] initial support for memory usage report Ralf Hemmecke
• 2023/10/22 Re: [fricas-devel] Re: [PATCH] initial support for memory usage report Qian Yun
• 2023/10/22 Re: [fricas-devel] Re: [PATCH] initial support for memory usage report Ralf Hemmecke
• 2023/10/21 Re: [fricas-devel] Re: [PATCH] initial support for memory usage report Qian Yun
• 2023/10/21 Re: [fricas-devel] Re: [PATCH] initial support for memory usage report Qian Yun
• 2023/10/21 Re: [fricas-devel] Make an Integral Work Mild Shock
• 2023/10/21 [fricas-devel] Convertion of types to OutputFrom Ralf Hemmecke
• 2023/10/21 Re: [fricas-devel] Make an Integral Work Waldek Hebisch
• 2023/10/21 Re: [fricas-devel] Re: [PATCH] initial support for memory usage report Ralf Hemmecke
• 2023/10/21 Re: [fricas-devel] Make an Integral Work Mild Shock
• 2023/10/21 Re: [fricas-devel] Re: [PATCH] initial support for memory usage report Waldek Hebisch
• 2023/10/21 Re: [fricas-devel] Make an Integral Work Waldek Hebisch
• 2023/10/21 Re: [fricas-devel] Make an Integral Work Mild Shock
• 2023/10/21 Re: [fricas-devel] Make an Integral Work Mild Shock
• 2023/10/21 Re: [fricas-devel] [PATCH] some typo fixes and misc cleanups Waldek Hebisch
• 2023/10/21 [fricas-devel] [PATCH] some typo fixes and misc cleanups Qian Yun
• 2023/10/21 Re: [fricas-devel] Make an Integral Work Waldek Hebisch
• 2023/10/21 Re: [fricas-devel] Make an Integral Work Mild Shock
• 2023/10/20 Re: [fricas-devel] Make an Integral Work 'Nasser M. Abbasi' via FriCAS - computer algebra system
• 2023/10/20 Re: [fricas-devel] Convertion of types to OutputFrom Waldek Hebisch
• 2023/10/20 Re: [fricas-devel] Make an Integral Work Waldek Hebisch
• 2023/10/20 [fricas-devel] Make an Integral Work Mild Shock
• 2023/10/19 Re: [fricas-devel] [PATCH] slightly improve tantrick Waldek Hebisch
• 2023/10/19 [fricas-devel] [PATCH] slightly improve tantrick Qian Yun
• 2023/10/19 Re: [fricas-devel] size()$CharacterClass Waldek Hebisch
• 2023/10/19 Re: [fricas-devel] size()$CharacterClass Qian Yun
• 2023/10/19 Re: [fricas-devel] Convertion of types to OutputFrom Waldek Hebisch
• 2023/10/18 Re: [fricas-devel] Convertion of types to OutputFrom Ralf Hemmecke
• 2023/10/18 Re: [fricas-devel] Convertion of types to OutputFrom Waldek Hebisch
• 2023/10/18 Re: [fricas-devel] Convertion of types to OutputFrom Ralf Hemmecke
• 2023/10/18 Re: [fricas-devel] size()$CharacterClass Waldek Hebisch
• 2023/10/18 Re: [fricas-devel] Convertion of types to OutputFrom Grégory Vanuxem
• 2023/10/18 Re: [fricas-devel] Convertion of types to OutputFrom Ralf Hemmecke
• 2023/10/18 Re: [fricas-devel] Convertion of types to OutputFrom Waldek Hebisch
• 2023/10/18 Re: [fricas-devel] compiling fricas-1.3.9 with sbcl-2.3.9 Andrey G. Grozin
• 2023/10/18 Re: [fricas-devel] Convertion of types to OutputFrom Qian Yun
• 2023/10/18 Re: [fricas-devel] size()$CharacterClass Qian Yun
• 2023/10/18 Re: [fricas-devel] size()$CharacterClass Waldek Hebisch
• 2023/10/18 Re: [fricas-devel] Convertion of types to OutputFrom Waldek Hebisch
• 2023/10/18 [fricas-devel] size()$CharacterClass Qian Yun
• 2023/10/18 Re: [fricas-devel] Convertion of types to OutputFrom Martin Baker
• 2023/10/17 [fricas-devel] Convertion of types to OutputFrom Waldek Hebisch
• 2023/10/17 Re: [fricas-devel] compiling fricas-1.3.9 with sbcl-2.3.9 Waldek Hebisch
• 2023/10/17 [fricas-devel] Re: llemma: An open Language Model for Mathematics Tim Daly
• 2023/10/17 [fricas-devel] llemma: An open Language Model for Mathematics Tim Daly
• 2023/10/16 Re: [fricas-devel] [PATCH] remove ILIST from core domains Qian Yun
• 2023/10/16 Re: [fricas-devel] Re: [PATCH] fixup build with clisp Waldek Hebisch
• 2023/10/16 Re: [fricas-devel] [PATCH] remove ILIST from core domains Waldek Hebisch
• 2023/10/15 Re: [fricas-devel] *evaluator-mode* :interpret and slow loop in SBCL Qian Yun
• 2023/10/15 Re: [fricas-devel] [PATCH] remove ILIST from core domains Qian Yun
• 2023/10/15 Re: [fricas-devel] [PATCH] remove ILIST from core domains Waldek Hebisch
• 2023/10/15 Re: [fricas-devel] [PATCH] reset *GENSYM-COUNTER* during initialization Waldek Hebisch
• 2023/10/15 Re: [fricas-devel] *evaluator-mode* :interpret and slow loop in SBCL Waldek Hebisch
• 2023/10/15 [fricas-devel] *evaluator-mode* :interpret and slow loop in SBCL Qian Yun
• 2023/10/15 [fricas-devel] Re: [PATCH] initial support for memory usage report Qian Yun
• 2023/10/15 [fricas-devel] Re: [PATCH] track GC time for SBCL Qian Yun
• 2023/10/15 [fricas-devel] Re: [PATCH] fixup build with clisp Qian Yun
• 2023/10/15 [fricas-devel] [PATCH] fixup build with clisp Qian Yun
• 2023/10/15 [fricas-devel] [PATCH] initial support for memory usage report Qian Yun
• 2023/10/15 Re: [fricas-devel] compiling fricas-1.3.9 with sbcl-2.3.9 Andrey G. Grozin
• 2023/10/14 [fricas-devel] [PATCH] track GC time for SBCL Qian Yun
• 2023/10/14 [fricas-devel] timezone is incorrect in 1.3.9 amd64 linux release tarball Qian Yun
• 2023/10/14 [fricas-devel] [PATCH] remove ILIST from core domains Qian Yun
• 2023/10/14 Re: [fricas-devel] [PATCH] reset *GENSYM-COUNTER* during initialization Qian Yun
• 2023/10/14 Re: [fricas-devel] compiling fricas-1.3.9 with sbcl-2.3.9 Waldek Hebisch
• 2023/10/14 Re: [fricas-devel] [PATCH] reset *GENSYM-COUNTER* during initialization Waldek Hebisch
• 2023/10/14 Re: [fricas-devel] [PATCH] misc cleanup in configure.ac Waldek Hebisch
• 2023/10/14 Re: [fricas-devel] compiling fricas-1.3.9 with sbcl-2.3.9 Waldek Hebisch
• 2023/10/14 [fricas-devel] [PATCH] reset *GENSYM-COUNTER* during initialization Qian Yun

• Earlier messages
• Later messages