[53c00b] | 1 | @comment -*-texinfo-*- |
---|
[341696] | 2 | @comment $Id$ |
---|
[53c00b] | 3 | @comment this file contains the News about Singular versions |
---|
| 4 | @comment Unix |
---|
| 5 | @ifclear VERSION |
---|
| 6 | @include version.texi |
---|
| 7 | @end ifclear |
---|
| 8 | |
---|
| 9 | @majorheading NEWS in SINGULAR @value{VERSION} |
---|
| 10 | |
---|
[e62563a] | 11 | @ifclear singularmanual |
---|
[53c00b] | 12 | @macro nref{what} |
---|
| 13 | \what\ |
---|
| 14 | @end macro |
---|
| 15 | @end ifclear |
---|
| 16 | |
---|
| 17 | @ifset singularmanual |
---|
| 18 | @macro nref{what} |
---|
| 19 | @ref{\what\} |
---|
| 20 | @end macro |
---|
| 21 | @end ifset |
---|
| 22 | |
---|
[b8169a] | 23 | @heading News for version @value{VERSION} |
---|
[7d45e3] | 24 | |
---|
[7af0cb5] | 25 | @heading User defined types |
---|
| 26 | New types can be defined, see @nref{User defined types}. |
---|
| 27 | |
---|
[9cb4686] | 28 | @heading Handling objects from @code{python} |
---|
| 29 | (Experimental) The new data type @code{pyobject} allows to access some |
---|
| 30 | @code{python} funtionality within @sc{Singular}, see @nref{pyobject}. |
---|
| 31 | |
---|
[a7babb] | 32 | Currently, it is only available for those who build Singular from the sources: |
---|
| 33 | Please activate it by typing @code{./configure --with-python} |
---|
| 34 | See @code{./configure --help} for details. |
---|
| 35 | |
---|
[7af0cb5] | 36 | @heading New @sc{Singular} functions |
---|
| 37 | @itemize @bullet |
---|
| 38 | @item |
---|
| 39 | new command: @code{factmodd} (see @nref{factmodd}) |
---|
| 40 | @item |
---|
| 41 | new command: @code{waitall} (see @nref{waitall}) |
---|
| 42 | @item |
---|
| 43 | new command: @code{waitfirst} (see @nref{waitfirst}) |
---|
| 44 | @end itemize |
---|
| 45 | |
---|
| 46 | @heading New @sc{Singular} libraries |
---|
| 47 | @itemize @bullet |
---|
| 48 | @item |
---|
| 49 | new library: cisimplicial.lib (see @nref{cisimplicial_lib}: Is the toric ideal of |
---|
| 50 | a simplicial toric variety a complete intersection?) - extends and susbtitute cimonom.lib |
---|
| 51 | @item |
---|
[ec92f3] | 52 | new library: grobcov.lib (see @nref{grobcov_lib}: Groebner Cover for parametric ideals, extends and susbtitutes redcgs.lib |
---|
[cdd964] | 53 | @item |
---|
[787f10] | 54 | renamed @code{resbin.lib} to @code{resbinomial.lib}, see @nref{resbinomial_lib}. |
---|
[7af0cb5] | 55 | @end itemize |
---|
| 56 | |
---|
| 57 | @heading -------------------------------------------------------------------- |
---|
| 58 | @heading Older versions: |
---|
| 59 | @heading News for version 3-1-2 |
---|
| 60 | |
---|
[b831141] | 61 | This version starts some reorganization: a section for new libraries: |
---|
[5d07c3] | 62 | (see @nref{Experimental libraries}), preparations for parallel computations |
---|
[b831141] | 63 | (see @nref{modstd_lib}, @nref{Ssi links}), some linear algebra (see below), |
---|
| 64 | many new libaries, |
---|
| 65 | many bug fixes etc. |
---|
| 66 | (especially factorization stuff and memory management). |
---|
| 67 | |
---|
[2ac160] | 68 | @heading New @sc{Singular} functions |
---|
| 69 | @itemize @bullet |
---|
| 70 | @item |
---|
| 71 | new command: @code{datetime} (see @nref{datetime}) |
---|
| 72 | @item |
---|
| 73 | new command: @code{ludecomp} (see @nref{ludecomp}) |
---|
| 74 | @item |
---|
| 75 | new command: @code{luinverse} (see @nref{luinverse}) |
---|
| 76 | @item |
---|
| 77 | new command: @code{lusolve} (see @nref{lusolve}) |
---|
| 78 | @item |
---|
| 79 | new command: @code{primefactors} (see @nref{primefactors}) |
---|
| 80 | @item |
---|
| 81 | new command: @code{rank} (see @nref{rank}) |
---|
| 82 | @end itemize |
---|
| 83 | |
---|
| 84 | @heading New @sc{Singular} link types |
---|
| 85 | @itemize @bullet |
---|
| 86 | @item |
---|
| 87 | @code{ssi}: experimental Singular-Singular interface (see @nref{Ssi links}) |
---|
| 88 | @item |
---|
| 89 | @code{pipe}: string based interface to any program (see @nref{Pipe links}) |
---|
| 90 | @end itemize |
---|
| 91 | |
---|
| 92 | @heading New @sc{Singular} libraries |
---|
| 93 | @itemize @bullet |
---|
| 94 | @item |
---|
[5b3386f] | 95 | new library: finitediff.lib (see @nref{finitediff_lib}: finite difference schemes for |
---|
[6e6412] | 96 | linear differential equations) |
---|
[fde980] | 97 | @item |
---|
[6e6412] | 98 | new library: fpadim.lib (see @nref{fpadim_lib}: Algorithms for quotient algebras in the letterplace case) |
---|
| 99 | @item |
---|
| 100 | new library: integralbasis.lib (see @nref{integralbasis_lib}: Integral basis in algebraic function fields) |
---|
[2ac160] | 101 | @item |
---|
[e3b32a1] | 102 | new library: monomialideal.lib (see @nref{monomialideal_lib}: operation for monomial ideals) |
---|
[2ac160] | 103 | @item |
---|
[4a9dfd4] | 104 | new library: multigrading.lib (see @nref{multigrading_lib}: multigradings and related computations) |
---|
| 105 | @item |
---|
[6e6412] | 106 | new library: ncfactor.lib (see @nref{ncfactor_lib}:Tools for factorization in some noncommutative algebras) |
---|
| 107 | @item |
---|
| 108 | new library: paraplanecurves.lib (see @nref{paraplanecurves_lib}: Rational parametrization of rational plane curves) |
---|
| 109 | @item |
---|
| 110 | new library: primdecint.lib (see @nref{primdecint_lib}: primary decomposition over the integers) |
---|
| 111 | @item |
---|
[787f10] | 112 | new library: resbinomial.lib (see @nref{resbinomial_lib}: resolution of singularities of binomial ideals |
---|
[2ac160] | 113 | @item |
---|
| 114 | new library: resjung.lib (see @nref{resjung_lib}: resolution of surface singularities by Jung's Algorithm |
---|
| 115 | @item |
---|
| 116 | new library: surfacesignature.lib (see @nref{surfacesignature_lib}: signature of irreducible surface singularities |
---|
| 117 | @end itemize |
---|
| 118 | |
---|
[6c4bd6] | 119 | @heading Changed @sc{Singular} libraries |
---|
| 120 | @itemize @bullet |
---|
| 121 | @item |
---|
[6e6412] | 122 | changed library: dmodapp.lib (see @nref{dmodapp_lib}: Applications of algebraic D-modules |
---|
| 123 | @item |
---|
| 124 | changed library: dmodvar.lib (see @nref{dmodvar_lib}: algebraic D-modules for varieties |
---|
| 125 | @item |
---|
[6c4bd6] | 126 | extended library: modstd.lib (see @nref{modstd_lib}: Groebner basis via modular methods |
---|
| 127 | @item |
---|
| 128 | extended library: normal.lib (see @nref{normal_lib}:Normalization of Affine Rings) |
---|
| 129 | @item |
---|
| 130 | rewritten library: sagbi.lib (see @nref{sagbi_lib}: subalgebra bases analogous to Groebner bases for ideals) |
---|
| 131 | @end itemize |
---|
| 132 | |
---|
[2ac160] | 133 | @heading Internal Changes |
---|
| 134 | @itemize @bullet |
---|
| 135 | @item |
---|
| 136 | new gcd code |
---|
| 137 | @item |
---|
| 138 | new factorization code |
---|
| 139 | @end itemize |
---|
| 140 | |
---|
| 141 | @heading News for version 3-1-1 |
---|
| 142 | |
---|
[2ad9f9] | 143 | @itemize @bullet |
---|
| 144 | @item |
---|
| 145 | new option @code{qringNF}, see @nref{option}. |
---|
| 146 | @item |
---|
| 147 | new system command @code{system("cpu")}, see @nref{system}. |
---|
| 148 | @end itemize |
---|
| 149 | |
---|
| 150 | @heading New @sc{Singular} functions |
---|
| 151 | @itemize @bullet |
---|
| 152 | @item |
---|
| 153 | new command: @code{farey}: lifting to Q (see @nref{farey}) |
---|
| 154 | @item |
---|
[6c939e] | 155 | new command: @code{monomial} (see @nref{monomial}) |
---|
[2ad9f9] | 156 | @item |
---|
| 157 | command extended: @code{liftstd} also computes syzygies. (see @nref{liftstd}) |
---|
| 158 | @item |
---|
| 159 | command extended: @code{minor} has more options. (see @nref{minor}) |
---|
| 160 | @item |
---|
| 161 | command extended: @code{opposite} (see @nref{opposite}) |
---|
| 162 | @end itemize |
---|
| 163 | |
---|
| 164 | @heading Internal Changes |
---|
| 165 | @itemize @bullet |
---|
| 166 | @item |
---|
| 167 | new minor code |
---|
| 168 | @item |
---|
| 169 | removed @code{EXTGCD} (use @code{extgcd}) |
---|
| 170 | @item |
---|
| 171 | moved mp_set_memory_functions-call from kernel/mminit.cc to tesths.cc:main |
---|
| 172 | (in order not to call it for libsingular) |
---|
| 173 | @end itemize |
---|
| 174 | |
---|
| 175 | @heading New @sc{Singular} libraries |
---|
| 176 | @itemize @bullet |
---|
| 177 | @item |
---|
| 178 | new library: normaliz.lib (see @nref{normaliz_lib}: Interface to Normaliz 2.2) |
---|
| 179 | @c @item |
---|
| 180 | @c new library: binresol.lib (see @nref{binresol_lib}: binomial ideals) |
---|
| 181 | @c @item |
---|
[5b3386f] | 182 | @c new library: finitediff.lib (see @nref{finitediff_lib}: finite difference schemes) |
---|
[2ad9f9] | 183 | @end itemize |
---|
| 184 | |
---|
| 185 | @heading Changed @sc{Singular} libraries |
---|
| 186 | @itemize |
---|
| 187 | @item |
---|
| 188 | homolog.lib (@nref{homolog_lib}): canonMap |
---|
| 189 | @item |
---|
[710469] | 190 | dmod.lib (@nref{dmod_lib}): operatorModulo |
---|
[2ad9f9] | 191 | @end itemize |
---|
| 192 | |
---|
| 193 | @heading News for version 3-1-0 |
---|
| 194 | |
---|
[567eca] | 195 | @itemize @bullet |
---|
| 196 | @item |
---|
[72db1d] | 197 | new coefficients: Z, Z/m, Z/(2^n) (see @nref{Rings and orderings}) |
---|
[567eca] | 198 | @item |
---|
[72db1d] | 199 | new handling of the default argument in libraries (see @nref{Parameter list}) |
---|
[01175f] | 200 | @item |
---|
| 201 | @code{ESingular} updated for emacs 22 |
---|
[72db1d] | 202 | @item |
---|
[1dfd761] | 203 | licences for all parts of @sc{Singular} clarified (see @nref{Preface}) |
---|
[6b55c7] | 204 | @end itemize |
---|
| 205 | |
---|
| 206 | @heading New @sc{Singular} functions |
---|
| 207 | @itemize @bullet |
---|
| 208 | @item |
---|
[72db1d] | 209 | new command: kernel (see @nref{kernel}) |
---|
[cdd38f] | 210 | @item |
---|
[72db1d] | 211 | new command: sqrfree (see @nref{sqrfree}) |
---|
[4cf627] | 212 | @item |
---|
[7f6d93] | 213 | command changed: the first argument to @code{monitor} should be an ASCII link. |
---|
[72db1d] | 214 | (see @nref{monitor}) |
---|
[cad8631] | 215 | @item |
---|
| 216 | command extended: eliminate: variables to eliminate may also be given as intvec. |
---|
[72db1d] | 217 | (see @nref{eliminate}) |
---|
[6b55c7] | 218 | @end itemize |
---|
| 219 | |
---|
| 220 | @heading Internal Changes |
---|
[cdd38f] | 221 | @itemize @bullet |
---|
[e8757a] | 222 | @item |
---|
| 223 | handling of large input for std improved |
---|
| 224 | @item |
---|
| 225 | @nref{interred} implemented in a different way |
---|
| 226 | @item |
---|
[3b1cb12] | 227 | @nref{kbase} honors the attribute "isHomog" |
---|
[0883ed] | 228 | @item |
---|
| 229 | @nref{jacob} accepts modules and matrices |
---|
| 230 | |
---|
[3b1cb12] | 231 | @item |
---|
[c13fbe9] | 232 | @nref{gcd} over algebraic extensions of the rationals implemented in a different way |
---|
[6b55c7] | 233 | @item new build target: libsingular.a (for gfan etc.) |
---|
[7f6d93] | 234 | @item code variants now depend on CPU type, not OS |
---|
[7e96fe] | 235 | @item better test for built-in limits (see @nref{Limitations}) |
---|
[01175f] | 236 | @item |
---|
[7e96fe] | 237 | operator @code{new(size_t,const std::nothrow_t&)} now also overloaded |
---|
[cdd38f] | 238 | @end itemize |
---|
[6b55c7] | 239 | |
---|
| 240 | @heading New @sc{Singular} libraries |
---|
| 241 | @itemize @bullet |
---|
[719d85] | 242 | @item |
---|
[72db1d] | 243 | surfex: new version 0.90 (see @nref{surfex_lib}). |
---|
[01175f] | 244 | @item |
---|
[445dcb] | 245 | new library: redcgs.lib (see @code{redcgs_lib}: Reduced Comprehensive Groebner Systems) |
---|
[567eca] | 246 | @item |
---|
[72db1d] | 247 | new library: tropical.lib (see @nref{tropical_lib}: Computations in Tropical Geometry) |
---|
[567eca] | 248 | @item |
---|
[72db1d] | 249 | new library: polymake.lib (see @nref{polymake_lib}: |
---|
[567eca] | 250 | Computations with polytopes and fans, interface to polymake and TOPCOM) |
---|
| 251 | @item |
---|
[280976] | 252 | new library: sing4ti2.lib (see @nref{sing4ti2_lib}: |
---|
| 253 | interface to 4ti2 |
---|
| 254 | @item |
---|
[72db1d] | 255 | new library: decodegb.lib (see @nref{decodegb_lib}: Generating and solving systems of polynomial equations for decoding and finding the minimum distance of linear codes) |
---|
[719d85] | 256 | @item |
---|
[72db1d] | 257 | new library: dmodapp.lib (see @nref{dmodapp_lib}: applications of D-modules) |
---|
[567eca] | 258 | @item |
---|
[e80f1e6] | 259 | new library: bfun.lib global (see @nref{bfun_lib}: Bernstein-Sato polynomial) |
---|
[e40f77] | 260 | @item |
---|
[21ebf68] | 261 | new library: freegb.lib (see @nref{freegb_lib}): Twosided Non-commutative Groebner bases in Free Algebras |
---|
[719d85] | 262 | @item |
---|
[72db1d] | 263 | new library: jacobson.lib (see @nref{jacobson_lib}): Algorithms for Smith and Jacobson Normal Form |
---|
[f72271b] | 264 | @item |
---|
[6fb823] | 265 | contributed library: cimonom.lib (see cimonom_lib): determines if the toric ideal of an affine monomial curve is a complete intersection |
---|
[f302c9] | 266 | @item |
---|
[72db1d] | 267 | contributed library: phindex.lib (see @nref{phindex_lib}): Poincare-Hopf index of a real analytic vector field |
---|
[db285c3] | 268 | @end itemize |
---|
| 269 | |
---|
| 270 | @heading Changed @sc{Singular} libraries |
---|
[c7fffa] | 271 | @itemize |
---|
[db285c3] | 272 | @item |
---|
[cf14b9] | 273 | normal.lib (@nref{normal_lib}): changed structure of the result, |
---|
[db285c3] | 274 | @* new algorithms have been implemented which improve the performance |
---|
[ceb4be] | 275 | @item |
---|
[e87b125] | 276 | elim.lib (@nref{elim_lib}): @nref{elim}, @nref{nselect}, @nref{select}, @nref{select1}: changed syntax |
---|
| 277 | @item |
---|
[ceb4be] | 278 | homolog.lib: kernel renamed to @nref{hom_kernel}. |
---|
| 279 | @*(See also @nref{kernel}, @nref{alg_kernel}). |
---|
[c16f99] | 280 | @item |
---|
[db285c3] | 281 | matrix.lib (@nref{matrix_lib}): new commands for computing symmetric/exterior powers/bases |
---|
[0883ed] | 282 | @item |
---|
[e21b39] | 283 | surf.lib: new command @code{surfer}: interface to program @code{surfer} |
---|
| 284 | @*(See @nref{surf_lib}). |
---|
| 285 | @item |
---|
[db285c3] | 286 | teachstd.lib (@nref{teachstd_lib}): spoly works now in non-commutative algebras and @nref{standard} can thus be used there. |
---|
[7e96fe] | 287 | However, since product criterion is a priori not applicable in the non-commutative case, |
---|
[3735d1] | 288 | one may want to disable it first (see @code{prodcrit} for details). |
---|
[bb93df] | 289 | @item |
---|
| 290 | many changes of names in libraries (to have a more consistent naming scheme) |
---|
[567eca] | 291 | @end itemize |
---|
| 292 | |
---|
| 293 | @heading News for version 3-0-4 |
---|
| 294 | |
---|
[b8169a] | 295 | @itemize @bullet |
---|
| 296 | @item |
---|
| 297 | licence changed: due to the need to use stuff under (L)GPL3, |
---|
| 298 | all parts of @sc{Singular} are licenced under GPL (resp. LGPL) version 2, or (at your option) version 3 |
---|
| 299 | @item |
---|
| 300 | new command: (@nref{univariate}): test polynomials for being univariate. |
---|
| 301 | @item |
---|
[75e2e5] | 302 | new command: (@nref{variables}): ideal of all variables occurring in a polynomial, ideal or matrix. |
---|
[b8169a] | 303 | @item |
---|
[b1d37f] | 304 | syntax change: @nref{ncalgebra} should be substituted by @nref{nc_algebra}. |
---|
| 305 | @code{ncalgebra} is now depreciated, but still supported |
---|
[b8169a] | 306 | @item |
---|
[b1d37f] | 307 | library @nref{nctools_lib} updated to use @code{nc_algebra},@* |
---|
[b8169a] | 308 | @nref{Weyl}, @nref{Exterior}, @nref{findimAlgebra} do not change the current ring |
---|
| 309 | but return the new structure |
---|
| 310 | @item |
---|
| 311 | kernel: use Conway polynomials and support more finite fields |
---|
| 312 | @end itemize |
---|
| 313 | |
---|
| 314 | @heading News in version 3-0-3 |
---|
| 315 | |
---|
[09f377] | 316 | The version 3-0-3 is stabilizing release, |
---|
[e633d6] | 317 | a result of a long beta test and the integration of a lot of small |
---|
| 318 | fixes which were on our waiting list for integration. |
---|
| 319 | |
---|
[fdcccc] | 320 | It contains also a lot of new features: |
---|
[7d45e3] | 321 | @itemize @bullet |
---|
| 322 | @item |
---|
[9b3858] | 323 | licence changed: omalloc and MP are now (also) available under GPL; |
---|
| 324 | that means that all parts of @sc{Singular} are licenced under GPL (resp. LGPL). |
---|
| 325 | @item |
---|
[40c648] | 326 | factory, libfac, @sc{Singular} updated for gcc 4.1.x |
---|
[9b3858] | 327 | @item |
---|
[fdcccc] | 328 | kernel updated for the optional use of boost. |
---|
| 329 | @item |
---|
| 330 | can now be built as a library. |
---|
[9b3858] | 331 | @item |
---|
[b85b62] | 332 | new operator @code{a:b} gives an @code{intvec} of length @code{b} with constant entries @code{a} |
---|
[9eacc1] | 333 | @item |
---|
[aabd021] | 334 | new command: (@nref{chinrem}): lifting via chinese remainder theorem |
---|
[f97b4e] | 335 | @item |
---|
[aabd021] | 336 | new command: (@nref{interpolation}): ideal of points with given multiplicities |
---|
[9b3858] | 337 | @item |
---|
[a871517] | 338 | non-commutative kernel subsystem was rewritten in order to support specific algebras more efficiently. |
---|
[910760] | 339 | Implemented algebras at the moment: super-commutative algebras (in particular exterior algebras). |
---|
[b63ed6] | 340 | @item |
---|
[fd096c] | 341 | @nref{std} et al.: new selection strategy for reductions (@nref{option} (length)). |
---|
[46eacb] | 342 | @item |
---|
[ea667ce] | 343 | @nref{reduce}: new strategy for selection and normalization. |
---|
[fdcccc] | 344 | @item |
---|
[46eacb] | 345 | @nref{simplify} slightly changed: does not omit zero polynomial unless |
---|
| 346 | specified. |
---|
[a871517] | 347 | @item |
---|
[aabd021] | 348 | new library: compregb.lib (@nref{compregb_lib}): comprehensive Groebner base system |
---|
| 349 | @item |
---|
[a871517] | 350 | new library: kskernel.lib (@nref{kskernel_lib}): kernel of the kodaira-spencer map for irreducible plane curve singularities |
---|
[46eacb] | 351 | @item |
---|
[ba8a71] | 352 | new library: modstd.lib (@nref{modstd_lib}): Groebner base computations |
---|
[531d9e] | 353 | over the rational numbers via modular computations |
---|
[0dec46] | 354 | @item |
---|
| 355 | new library: noether.lib (@nref{noether_lib}): Noether normalization of an ideal(not nessecary homogeneous) |
---|
| 356 | @item |
---|
[ba8a71] | 357 | new library: atkins.lib (@nref{atkins_lib}): the elliptic curve primality test of Atkin |
---|
[0dec46] | 358 | @item |
---|
[4b1c39] | 359 | new library: aksaka.lib (@nref{aksaka_lib}): primality testing after Agrawal, Saxena, Kayal |
---|
[ba8a71] | 360 | @item |
---|
| 361 | new library: arcpoint.lib (@nref{arcpoint_lib}): truncations of arcs at a singular point |
---|
[b63ed6] | 362 | @item |
---|
[46eacb] | 363 | new library: resgraph.lib (@nref{resgraph_lib}): visualization of resolution data. |
---|
| 364 | @item |
---|
[9959120] | 365 | new library: realrad.lib (@nref{realrad_lib}): computation of the real radical |
---|
| 366 | over the rational numbers and extensions thereof |
---|
| 367 | @item |
---|
[a871517] | 368 | new library: hyperel.lib (@nref{hyperel_lib}): divisors in the jacobian of hyperelliptic curves |
---|
| 369 | @item |
---|
| 370 | new library: curvepar.lib (@nref{curvepar_lib}): space curves |
---|
[653a691] | 371 | @item |
---|
[be4db4] | 372 | new library: sagbi.lib (@nref{sagbi_lib}): subalgebras bases analogous to Groebner bases for ideals |
---|
| 373 | @item |
---|
| 374 | new library: surfex.lib (@nref{surfex_lib}): visualizing and rotating surfaces |
---|
[e633d6] | 375 | @item |
---|
[6fb823] | 376 | new library: cimonom.lib (cimonom_lib): determines if the toric ideal of an affine monomial curve is a complete intersection. |
---|
[fdcccc] | 377 | @item |
---|
[a871517] | 378 | @nref{sheafcoh_lib}: new experimental functions, in particular @nref{sheafCohBGG2} |
---|
[b63ed6] | 379 | @item |
---|
[4190e6] | 380 | library @code{ncall.lib} merged into @nref{all_lib} |
---|
| 381 | @item |
---|
[9fb9293] | 382 | library center.lib (@code{center_lib}) renamed to @code{central.lib} (@nref{central_lib}) |
---|
[4190e6] | 383 | @item |
---|
[f030a6] | 384 | @nref{nctools_lib}: new functions for super-commutative algebras (i.e. @nref{superCommutative}, @nref{IsSCA}, @nref{AltVarStart}, @nref{AltVarEnd}) |
---|
[9b3858] | 385 | @item |
---|
[a871517] | 386 | resolve.lib: blow ups revised (@nref{resolve_lib}) |
---|
[9b3858] | 387 | @item |
---|
| 388 | new algorithms in primdec.lib (@nref{primdec_lib}): radical et al. |
---|
| 389 | @item |
---|
| 390 | improved version of @nref{slimgb}, incorporated into @nref{groebner}, |
---|
[a871517] | 391 | strategy change in groebner |
---|
[531d9e] | 392 | @item |
---|
[e58e4b] | 393 | finvar.lib: the algorithm of @nref{secondary_char0} is now used in general in the |
---|
[a871517] | 394 | non-modular case (@nref{finvar_lib}) |
---|
[255c18] | 395 | @item |
---|
[a871517] | 396 | finvar.lib: new algorithm for @nref{irred_secondary_char0} (@nref{finvar_lib}) |
---|
[e58e4b] | 397 | @item |
---|
[a871517] | 398 | finvar.lib: new function @nref{irred_secondary_no_molien} (@nref{finvar_lib}) |
---|
[255c18] | 399 | @item |
---|
[3d1bbb] | 400 | finvar.lib: new functions for computing minimal generating sets of |
---|
[a871517] | 401 | invariant rings of finite groups in the non-modular case: @nref{invariant_algebra_reynolds} for finite |
---|
| 402 | matrix groups and @nref{invariant_algebra_perm} for permutation groups (@nref{finvar_lib}) |
---|
[3d1bbb] | 403 | @item |
---|
[a871517] | 404 | operation for sparse matrices improved: multiplication, prune, conversion to module |
---|
[c7c21e3] | 405 | @c @item |
---|
| 406 | @c experimental: @code{python} / @code{ipython} interface |
---|
[9b3858] | 407 | @end itemize |
---|
| 408 | |
---|
| 409 | @heading News in version 3-0-2 |
---|
| 410 | |
---|
| 411 | The version 3-0-2 is mainly a bug fix release, |
---|
| 412 | but it contains also some new features: |
---|
| 413 | @itemize @bullet |
---|
| 414 | @item |
---|
[c725ac] | 415 | factory, libfac updated for gcc 4.1.x |
---|
| 416 | @item |
---|
| 417 | configure/speed improved for 64bit architectures |
---|
| 418 | @item |
---|
[e825a3] | 419 | new library: dmod.lib (@nref{dmod_lib}) |
---|
[c725ac] | 420 | @item |
---|
[e825a3] | 421 | new library: perron.lib (@nref{perron_lib}) |
---|
[4a38bd] | 422 | @item |
---|
[e714d8a] | 423 | improved center.lib: revised implementation, new functions (sa_reduce etc.) |
---|
[4a38bd] | 424 | @item |
---|
[e825a3] | 425 | revised ncalg.lib (@nref{ncalg_lib}): new algebras, U(sl_n) and U(g_2) changed to conform GAP. |
---|
[4a38bd] | 426 | @item |
---|
[e825a3] | 427 | new algorithms in primdec.lib (@nref{primdec_lib}): radical et al. |
---|
[c725ac] | 428 | @item |
---|
| 429 | improved version of @nref{slimgb}, incorporated into @nref{groebner} |
---|
| 430 | @item |
---|
[e58e4b] | 431 | finvar.lib: new algorithm for @nref{secondary_char0}, which is a drastic improvement |
---|
[255c18] | 432 | (@nref{finvar_lib}). |
---|
| 433 | @item |
---|
[e58e4b] | 434 | finvar.lib: new function @nref{irred_secondary_char0} (@nref{finvar_lib}). |
---|
| 435 | @item |
---|
[a871517] | 436 | finvar.lib: new function @nref{rel_orbit_variety}, complementing @nref{relative_orbit_variety} |
---|
[e58e4b] | 437 | (@nref{finvar_lib}). |
---|
[255c18] | 438 | @item |
---|
[e825a3] | 439 | improved module generator (@code{modgen}) |
---|
| 440 | @item |
---|
[c725ac] | 441 | experimental: new type @nref{bigint} |
---|
[aff0bb7] | 442 | @c @item |
---|
| 443 | @c experimental: @code{python} / @code{ipython} interface |
---|
[c725ac] | 444 | @item |
---|
[aff0bb7] | 445 | more architectures: Solaris on x86/opteron, ... |
---|
[f6f1db] | 446 | @item |
---|
| 447 | build process improved: builds automatically without patches on 64bit architectures |
---|
[c725ac] | 448 | @end itemize |
---|
| 449 | |
---|
| 450 | @heading NEWS in version 3-0-1 |
---|
| 451 | The version 3-0-1 is mainly a bug fix release, |
---|
| 452 | but it contains also some new features: |
---|
| 453 | @itemize @bullet |
---|
| 454 | @item |
---|
[7d45e3] | 455 | NTL upgraded to version 5.4 |
---|
| 456 | @item |
---|
| 457 | new library: absfact.lib @nref{absfact_lib} |
---|
| 458 | @item |
---|
| 459 | new procedures in primdec.lib: @nref{absPrimdecGTZ} |
---|
| 460 | @item |
---|
| 461 | new procedures in standard.lib: @nref{weightKB} |
---|
| 462 | @item |
---|
| 463 | build process improved: new make target @code{install_all} |
---|
| 464 | @item |
---|
| 465 | improved version of @nref{slimgb}, incorporated into @nref{groebner} |
---|
| 466 | @item |
---|
| 467 | arithmetic in Z/pZ for architecture x84_64 improved (by 25 %) |
---|
| 468 | @end itemize |
---|
| 469 | |
---|
| 470 | @heading NEWS in version 3-0-0 |
---|
| 471 | |
---|
[695850] | 472 | The version 3-0-0 is the first in the new |
---|
[a871517] | 473 | release series version 3-0. |
---|
[5c14fb] | 474 | |
---|
[40c648] | 475 | @sc{Singular} version 3 has a greater functionality and an improved architecture. |
---|
[a02163] | 476 | Major new features are: |
---|
| 477 | @itemize |
---|
| 478 | @item |
---|
[745dd8] | 479 | @nref{Dynamic modules} |
---|
[a02163] | 480 | @item |
---|
[2e4fed8] | 481 | non-commutative extension @nref{Non-commutative subsystem} |
---|
[a02163] | 482 | @item |
---|
[745dd8] | 483 | name spaces (@nref{package}) |
---|
[a02163] | 484 | @item |
---|
[745dd8] | 485 | easy manipulation of rings (@nref{ringlist}) |
---|
[a02163] | 486 | @item |
---|
[745dd8] | 487 | improved speed of maps (@nref{subst}, @nref{map}) |
---|
[a02163] | 488 | @item |
---|
[954abc] | 489 | a new algorithm for Groebner base computations: @nref{slimgb}. |
---|
[012bbb] | 490 | @item |
---|
[a02163] | 491 | improved factorization (integration of NTL, factorization over algebraic extensions, |
---|
| 492 | zeroset.lib) |
---|
| 493 | @item |
---|
| 494 | improved gcd of polynomials (including bug fixes) |
---|
| 495 | @item |
---|
| 496 | ports to more architectures including automatic building from source (fink on Mac, ebuild on Gentoo) |
---|
| 497 | @item |
---|
[4a499b] | 498 | more help browsers supported, user extendable (help.cnf) |
---|
| 499 | @item |
---|
| 500 | better support of graded modules |
---|
[a02163] | 501 | @item |
---|
| 502 | many bugs fixed |
---|
| 503 | @end itemize |
---|
[40c648] | 504 | Besides theses internal changes, @sc{Singular} version 3 offers many new |
---|
[a02163] | 505 | features and functionalities (which were partly already incorporated in |
---|
[4a499b] | 506 | the 2-1 pre-release series). |
---|
[2983b3] | 507 | |
---|
[cbdc04e] | 508 | @heading Factorizing algorithms revisited (3-0-0) |
---|
[98b5a7] | 509 | Starting with version 2-0-4, we use NTL (of Victor Shoup) for factoring |
---|
[4a499b] | 510 | univariate polynomials. The multivariate factorization code in libfac/factory |
---|
[7e96fe] | 511 | now also works over algebraic field extension. |
---|
[2983b3] | 512 | |
---|
[cbdc04e] | 513 | @heading New @sc{Singular} libraries (3-0-0) |
---|
[53c00b] | 514 | |
---|
| 515 | @table @asis |
---|
[a871517] | 516 | @item @nref{control_lib} |
---|
[3175d1] | 517 | algebraic analysis tools for System and Control Theory |
---|
[a871517] | 518 | @item @nref{mregular_lib} |
---|
[3175d1] | 519 | procedures for computing the Castelnuovo-Mumford regularity |
---|
[a871517] | 520 | @item @nref{mprimdec_lib} |
---|
[a02163] | 521 | procedures for primary decomposition of modules |
---|
[a871517] | 522 | @item @nref{gmspoly_lib}, @nref{gmssing_lib} |
---|
[af847a] | 523 | procedures for the Gauss-Manin connection of a singularity |
---|
[c1bedf] | 524 | @item @nref{resolve_lib}, @nref{reszeta_lib} |
---|
[4a499b] | 525 | resolution of singularities and applications |
---|
[1c981c] | 526 | @item @nref{rootsmr_lib} |
---|
[7acf9b] | 527 | counting the number of real roots |
---|
[10937b] | 528 | @item @nref{sheafcoh_lib} |
---|
| 529 | computing cohomology of sheaves and Tate resolution |
---|
[7acf9b] | 530 | @item @nref{signcond_lib} |
---|
| 531 | computing realizable sign conditions |
---|
[67f7108] | 532 | @item @nref{rootsur_lib} |
---|
[7acf9b] | 533 | counting number of real roots of univariate polynomial |
---|
[8c78f0] | 534 | @item @nref{grwalk_lib} |
---|
[7acf9b] | 535 | Groebner and Pertubation walk |
---|
[53c00b] | 536 | @end table |
---|
| 537 | |
---|
[cbdc04e] | 538 | @heading Changes in @sc{Singular} libraries (3-0-0) |
---|
[5c14fb] | 539 | Many procedures were moved into different libraries, |
---|
[a02163] | 540 | the documentation of libraries was generally improved. |
---|
[7031a2] | 541 | |
---|
| 542 | All procedures which used to change the current ring return now |
---|
| 543 | the newly created ring. |
---|
[5c14fb] | 544 | @table @asis |
---|
| 545 | @end table |
---|
| 546 | |
---|
[cbdc04e] | 547 | @heading New @sc{Singular} functions (3-0-0) |
---|
[53c00b] | 548 | |
---|
| 549 | @table @asis |
---|
[7031a2] | 550 | @item @nref{ringlist} |
---|
| 551 | manipulation of rings |
---|
| 552 | @item @nref{slimgb} |
---|
[954abc] | 553 | a new algorithm to compute Groebner bases |
---|
[7031a2] | 554 | @item @nref{exportto} |
---|
[4a499b] | 555 | transfer an identifier to the specified package |
---|
[7031a2] | 556 | @item @nref{importfrom} |
---|
[4a499b] | 557 | generate a copy of an identifier from the specified package in the current package |
---|
[7031a2] | 558 | @item @nref{frwalk} |
---|
| 559 | fractal walk to change monomial orderings |
---|
[53c00b] | 560 | @end table |
---|
| 561 | |
---|
[cbdc04e] | 562 | @heading @sc{Singular} functions whose syntax/semantics has changed (3-0-0) |
---|
[53c00b] | 563 | @table @asis |
---|
[a02163] | 564 | @item @nref{degree} |
---|
| 565 | outputs degree and dimension instead of returning an int |
---|
| 566 | @item @nref{attrib} |
---|
| 567 | new attribute: @code{rowShift} |
---|
[8d38069] | 568 | @end table |
---|
| 569 | |
---|
[cbdc04e] | 570 | @heading Non-commutative Extension @sc{Plural} (3-0-0) |
---|
[3175d1] | 571 | |
---|
[7e96fe] | 572 | Starting with version 3-0-0, @sc{Singular} features the |
---|
[21ebf68] | 573 | non-commutative extension @sc{Plural}. It allows to |
---|
| 574 | set and to compute within non-commutative algebras |
---|
[3175d1] | 575 | with PBW basis. Among available algorithms are Groebner |
---|
| 576 | bases for left modules, syzygies and resolutions. |
---|
| 577 | |
---|
[7e96fe] | 578 | The following libraries come together with @sc{Plural}: |
---|
[3175d1] | 579 | |
---|
| 580 | @table @asis |
---|
[e714d8a] | 581 | @item @code{center.lib} |
---|
[3175d1] | 582 | computes generators of the center and centralizer subalgebras up |
---|
| 583 | to a given degree resp. up to a given number of generators |
---|
[c1bedf] | 584 | @item @nref{involut_lib} |
---|
[3175d1] | 585 | determines linear antiautomorphisms (involutions) and automorphisms |
---|
| 586 | @item @nref{gkdim_lib} |
---|
| 587 | computes a Gel'fand-Kirillov dimension for modules |
---|
| 588 | @item @nref{ncalg_lib} |
---|
| 589 | includes ready-to-use funtions for defining many important |
---|
[21ebf68] | 590 | non-commutative algebras |
---|
[3175d1] | 591 | @item @nref{ncdecomp_lib} |
---|
[7e96fe] | 592 | computes a decomposition of a module by its central characters |
---|
[3175d1] | 593 | @item @nref{ncalg_lib}, @nref{nctools_lib} |
---|
[21ebf68] | 594 | contain numerous useful tools for non-commutative algebras |
---|
[3175d1] | 595 | @item @nref{qmatrix_lib} |
---|
| 596 | procedures, related to quantum matrices and minors |
---|
| 597 | @end table |
---|
| 598 | |
---|
[cbdc04e] | 599 | @heading Internal Changes (3-0-0) |
---|
[2983b3] | 600 | @table @asis |
---|
[a02163] | 601 | @item new mapping code |
---|
[3175d1] | 602 | @c @item non-commutative extension (Plural) |
---|
[4a499b] | 603 | @item factory revised |
---|
[7acf9b] | 604 | (gcd, factorizing polynomial over algebraic extension fields,...) |
---|
[2983b3] | 605 | @end table |
---|
| 606 | |
---|
[98a386] | 607 | @heading Porting |
---|
[2983b3] | 608 | |
---|
[a70441f] | 609 | @itemize @bullet |
---|
[40c648] | 610 | @item @sc{Singular} is available for ix86-Linux, |
---|
[7e96fe] | 611 | SunOS-5, IRIX-6, ix86-Win (runs on Windows 95/98/NT4/2000/XP/Vista), |
---|
[b8169a] | 612 | FreeBSD, MacOS X, x86_64-Linux (AMD64/Opteron/EM64T), |
---|
[a02163] | 613 | IA64-Linux |
---|
[8d38069] | 614 | @end itemize |
---|
[836dc0e] | 615 | |
---|