From 0a54b2371bbbc628d7cafd2f476b97c3d7db61e1 Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Tue, 6 Aug 2024 16:53:02 +0100 Subject: [PATCH] really remove doc --- Documentation/doc/Documentation/Third_party.txt | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/Documentation/doc/Documentation/Third_party.txt b/Documentation/doc/Documentation/Third_party.txt index d2eeb5d9b7e..d56b8484a15 100644 --- a/Documentation/doc/Documentation/Third_party.txt +++ b/Documentation/doc/Documentation/Third_party.txt @@ -180,19 +180,6 @@ optional: it is used by some models of the \mpfi can be downloaded from `https://gitlab.inria.fr/mpfi/mpfi`. -\subsection thirdpartyRS3 RS and RS3 - -\rs (Real Solutions) is devoted to the study of the real roots of -polynomial systems with a finite number of complex roots (including -univariate polynomials). In \cgal, \rs is used by one model of the -\ref PkgAlgebraicKernelD "Algebraic Kernel". - -\rs is freely distributable for non-commercial use. You can download it -from `http://vegas.loria.fr/rs/`. Actually, the \rs package also includes \rs3, the -successor of \rs, which is used in conjunction with it. - -The libraries \rs and \rs3 need \mpfi, which can be downloaded from -`https://gitlab.inria.fr/mpfi/mpfi`. \subsection thirdpartyNTL NTL Version 5.1 or later