drwxr-xr-x | 229376 | root |
root |
/usr/lib/Singular/examples
|
-rw-r--r-- | 1850 | root |
root |
/usr/lib/Singular/examples/AG_codes.sing
|
-rw-r--r-- | 464 | root |
root |
/usr/lib/Singular/examples/AGcode_L.sing
|
-rw-r--r-- | 466 | root |
root |
/usr/lib/Singular/examples/AGcode_Omega.sing
|
-rw-r--r-- | 57 | root |
root |
/usr/lib/Singular/examples/ASCII.sing
|
-rw-r--r-- | 594 | root |
root |
/usr/lib/Singular/examples/ASCII_links.sing
|
-rw-r--r-- | 73 | root |
root |
/usr/lib/Singular/examples/A_L.sing
|
-rw-r--r-- | 129 | root |
root |
/usr/lib/Singular/examples/A_Z.sing
|
-rw-r--r-- | 166 | root |
root |
/usr/lib/Singular/examples/Access_to_elements_of_a_user_defined_type.sing
|
-rw-r--r-- | 1255 | root |
root |
/usr/lib/Singular/examples/Adj_div.sing
|
-rw-r--r-- | 1578 | root |
root |
/usr/lib/Singular/examples/Algebraic_dependence.sing
|
-rw-r--r-- | 603 | root |
root |
/usr/lib/Singular/examples/AltVarEnd.sing
|
-rw-r--r-- | 603 | root |
root |
/usr/lib/Singular/examples/AltVarStart.sing
|
-rw-r--r-- | 145 | root |
root |
/usr/lib/Singular/examples/Ann.sing
|
-rw-r--r-- | 125 | root |
root |
/usr/lib/Singular/examples/ArnoldAction.sing
|
-rw-r--r-- | 293 | root |
root |
/usr/lib/Singular/examples/Assignments_for_user_defined_types.sing
|
-rw-r--r-- | 109 | root |
root |
/usr/lib/Singular/examples/Atkin.sing
|
-rw-r--r-- | 252 | root |
root |
/usr/lib/Singular/examples/BINresol.sing
|
-rw-r--r-- | 668 | root |
root |
/usr/lib/Singular/examples/Basic_programming.sing
|
-rw-r--r-- | 188 | root |
root |
/usr/lib/Singular/examples/Betti_numbers_and_regularity.sing
|
-rw-r--r-- | 137 | root |
root |
/usr/lib/Singular/examples/BlowingUp.sing
|
-rw-r--r-- | 889 | root |
root |
/usr/lib/Singular/examples/Blowupcenter.sing
|
-rw-r--r-- | 2382 | root |
root |
/usr/lib/Singular/examples/Branches_of_space_curve_singularities.sing
|
-rw-r--r-- | 371 | root |
root |
/usr/lib/Singular/examples/BrillNoether.sing
|
-rw-r--r-- | 157 | root |
root |
/usr/lib/Singular/examples/CM_regularity.sing
|
-rw-r--r-- | 73 | root |
root |
/usr/lib/Singular/examples/CMtype.sing
|
-rw-r--r-- | 397 | root |
root |
/usr/lib/Singular/examples/CenCharDec.sing
|
-rw-r--r-- | 64 | root |
root |
/usr/lib/Singular/examples/Center.sing
|
-rw-r--r-- | 181 | root |
root |
/usr/lib/Singular/examples/CenterBO.sing
|
-rw-r--r-- | 297 | root |
root |
/usr/lib/Singular/examples/CentralQuot.sing
|
-rw-r--r-- | 202 | root |
root |
/usr/lib/Singular/examples/CentralSaturation.sing
|
-rw-r--r-- | 89 | root |
root |
/usr/lib/Singular/examples/CharacteristicExponents.sing
|
-rw-r--r-- | 134 | root |
root |
/usr/lib/Singular/examples/Characteristic_sets.sing
|
-rw-r--r-- | 728 | root |
root |
/usr/lib/Singular/examples/Classification_of_hypersurface_singularities.sing
|
-rw-r--r-- | 160 | root |
root |
/usr/lib/Singular/examples/Command_line_options.sing
|
-rw-r--r-- | 481 | root |
root |
/usr/lib/Singular/examples/Commands_for_user_defined_types.sing
|
-rw-r--r-- | 238 | root |
root |
/usr/lib/Singular/examples/ComplexValue.sing
|
-rw-r--r-- | 1010 | root |
root |
/usr/lib/Singular/examples/Computation_of_Ext.sing
|
-rw-r--r-- | 79 | root |
root |
/usr/lib/Singular/examples/ContactMatrix.sing
|
-rw-r--r-- | 56 | root |
root |
/usr/lib/Singular/examples/Cornacchia.sing
|
-rw-r--r-- | 66 | root |
root |
/usr/lib/Singular/examples/CornacchiaModified.sing
|
-rw-r--r-- | 314 | root |
root |
/usr/lib/Singular/examples/Critical_points.sing
|
-rw-r--r-- | 101 | root |
root |
/usr/lib/Singular/examples/CurveParam.sing
|
-rw-r--r-- | 101 | root |
root |
/usr/lib/Singular/examples/CurveRes.sing
|
-rw-r--r-- | 349 | root |
root |
/usr/lib/Singular/examples/DBM_links.sing
|
-rw-r--r-- | 406 | root |
root |
/usr/lib/Singular/examples/DLoc.sing
|
-rw-r--r-- | 515 | root |
root |
/usr/lib/Singular/examples/DLoc0.sing
|
-rw-r--r-- | 130 | root |
root |
/usr/lib/Singular/examples/Declaration_of_objects_of_a_user_defined_type.sing
|
-rw-r--r-- | 845 | root |
root |
/usr/lib/Singular/examples/Definition_of_a_user_defined_type.sing
|
-rw-r--r-- | 2089 | root |
root |
/usr/lib/Singular/examples/Deformations.sing
|
-rw-r--r-- | 188 | root |
root |
/usr/lib/Singular/examples/Delta.sing
|
-rw-r--r-- | 192 | root |
root |
/usr/lib/Singular/examples/DeltaList.sing
|
-rw-r--r-- | 990 | root |
root |
/usr/lib/Singular/examples/Depth.sing
|
-rw-r--r-- | 705 | root |
root |
/usr/lib/Singular/examples/Dynamic_modules.sing
|
-rw-r--r-- | 65 | root |
root |
/usr/lib/Singular/examples/ECPP.sing
|
-rw-r--r-- | 1099 | root |
root |
/usr/lib/Singular/examples/ECoef.sing
|
-rw-r--r-- | 339 | root |
root |
/usr/lib/Singular/examples/EOrdlist.sing
|
-rw-r--r-- | 72 | root |
root |
/usr/lib/Singular/examples/ERROR.sing
|
-rw-r--r-- | 728 | root |
root |
/usr/lib/Singular/examples/Edatalist.sing
|
-rw-r--r-- | 3126 | root |
root |
/usr/lib/Singular/examples/Elimination.sing
|
-rw-r--r-- | 669 | root |
root |
/usr/lib/Singular/examples/Emaxcont.sing
|
-rw-r--r-- | 1023 | root |
root |
/usr/lib/Singular/examples/Eresol.sing
|
-rw-r--r-- | 287 | root |
root |
/usr/lib/Singular/examples/Example_of_a_procedure_definition_in_a_library:.sing
|
-rw-r--r-- | 281 | root |
root |
/usr/lib/Singular/examples/Example_of_an_interactive_procedure_definition_and_its_execution:.sing
|
-rw-r--r-- | 444 | root |
root |
/usr/lib/Singular/examples/Example_of_use_of_@sc{Letterplace}.sing
|
-rw-r--r-- | 426 | root |
root |
/usr/lib/Singular/examples/Ext.sing
|
-rw-r--r-- | 434 | root |
root |
/usr/lib/Singular/examples/Ext_R.sing
|
-rw-r--r-- | 81 | root |
root |
/usr/lib/Singular/examples/Exterior.sing
|
-rw-r--r-- | 547 | root |
root |
/usr/lib/Singular/examples/Factorization.sing
|
-rw-r--r-- | 1883 | root |
root |
/usr/lib/Singular/examples/Finite_fields.sing
|
-rw-r--r-- | 126 | root |
root |
/usr/lib/Singular/examples/First_index_is_1.sing
|
-rw-r--r-- | 333 | root |
root |
/usr/lib/Singular/examples/Formatting_output.sing
|
-rw-r--r-- | 1796 | root |
root |
/usr/lib/Singular/examples/Free_resolution.sing
|
-rw-r--r-- | 257 | root |
root |
/usr/lib/Singular/examples/Free_resolutions.sing
|
-rw-r--r-- | 109 | root |
root |
/usr/lib/Singular/examples/Function_without_return_value.sing
|
-rw-r--r-- | 246 | root |
root |
/usr/lib/Singular/examples/GBWeight.sing
|
-rw-r--r-- | 190 | root |
root |
/usr/lib/Singular/examples/GBsolve.sing
|
-rw-r--r-- | 301 | root |
root |
/usr/lib/Singular/examples/GKZsystem.sing
|
-rw-r--r-- | 352 | root |
root |
/usr/lib/Singular/examples/GKdim.sing
|
-rw-r--r-- | 111 | root |
root |
/usr/lib/Singular/examples/GTZmod.sing
|
-rw-r--r-- | 111 | root |
root |
/usr/lib/Singular/examples/GTZopt.sing
|
-rw-r--r-- | 580 | root |
root |
/usr/lib/Singular/examples/G_a_-Invariants.sing
|
-rw-r--r-- | 276 | root |
root |
/usr/lib/Singular/examples/Gamma.sing
|
-rw-r--r-- | 102 | root |
root |
/usr/lib/Singular/examples/Gauss-Manin_connection.sing
|
-rw-r--r-- | 325 | root |
root |
/usr/lib/Singular/examples/Gauss-Manin_connection_1.sing
|
-rw-r--r-- | 90 | root |
root |
/usr/lib/Singular/examples/Gauss-Manin_connection_2.sing
|
-rw-r--r-- | 606 | root |
root |
/usr/lib/Singular/examples/Generalized_Hilbert_Syzygy_Theorem.sing
|
-rw-r--r-- | 619 | root |
root |
/usr/lib/Singular/examples/Graded_commutative_algebras__SCA_.sing
|
-rw-r--r-- | 461 | root |
root |
/usr/lib/Singular/examples/Groebner_basis_conversion.sing
|
-rw-r--r-- | 243 | root |
root |
/usr/lib/Singular/examples/Gweights.sing
|
-rw-r--r-- | 70 | root |
root |
/usr/lib/Singular/examples/H2basis.sing
|
-rw-r--r-- | 985 | root |
root |
/usr/lib/Singular/examples/Handling_graded_modules.sing
|
-rw-r--r-- | 104 | root |
root |
/usr/lib/Singular/examples/Hcode.sing
|
-rw-r--r-- | 73 | root |
root |
/usr/lib/Singular/examples/HilbertClassPoly.sing
|
-rw-r--r-- | 530 | root |
root |
/usr/lib/Singular/examples/Hom.sing
|
-rw-r--r-- | 450 | root |
root |
/usr/lib/Singular/examples/HomJJ.sing
|
-rw-r--r-- | 285 | root |
root |
/usr/lib/Singular/examples/How_to_use_links.sing
|
-rw-r--r-- | 95 | root |
root |
/usr/lib/Singular/examples/How_to_use_links_1.sing
|
-rw-r--r-- | 129 | root |
root |
/usr/lib/Singular/examples/Identifier_resolution.sing
|
-rw-r--r-- | 189 | root |
root |
/usr/lib/Singular/examples/Identifier_resolution_1.sing
|
-rw-r--r-- | 197 | root |
root |
/usr/lib/Singular/examples/ImageGroup.sing
|
-rw-r--r-- | 133 | root |
root |
/usr/lib/Singular/examples/ImageVariety.sing
|
-rw-r--r-- | 368 | root |
root |
/usr/lib/Singular/examples/IntersectWithSub.sing
|
-rw-r--r-- | 84 | root |
root |
/usr/lib/Singular/examples/IntersectionMatrix.sing
|
-rw-r--r-- | 183 | root |
root |
/usr/lib/Singular/examples/InvariantRing.sing
|
-rw-r--r-- | 750 | root |
root |
/usr/lib/Singular/examples/Invariants_of_a_finite_group.sing
|
-rw-r--r-- | 1174 | root |
root |
/usr/lib/Singular/examples/Invariants_of_plane_curve_singularities.sing
|
-rw-r--r-- | 1375 | root |
root |
/usr/lib/Singular/examples/IsSCA.sing
|
-rw-r--r-- | 73 | root |
root |
/usr/lib/Singular/examples/Jacobi.sing
|
-rw-r--r-- | 288 | root |
root |
/usr/lib/Singular/examples/KScoef.sing
|
-rw-r--r-- | 122 | root |
root |
/usr/lib/Singular/examples/KSconvert.sing
|
-rw-r--r-- | 83 | root |
root |
/usr/lib/Singular/examples/KSker.sing
|
-rw-r--r-- | 103 | root |
root |
/usr/lib/Singular/examples/KSlinear.sing
|
-rw-r--r-- | 144 | root |
root |
/usr/lib/Singular/examples/KSpencerKernel.sing
|
-rw-r--r-- | 223 | root |
root |
/usr/lib/Singular/examples/Kernel_of_module_homomorphisms.sing
|
-rw-r--r-- | 282 | root |
root |
/usr/lib/Singular/examples/KoszulHomology.sing
|
-rw-r--r-- | 160 | root |
root |
/usr/lib/Singular/examples/LIB.sing
|
-rw-r--r-- | 57 | root |
root |
/usr/lib/Singular/examples/LLL.sing
|
-rw-r--r-- | 1001 | root |
root |
/usr/lib/Singular/examples/Left_and_two-sided_Groebner_bases.sing
|
-rw-r--r-- | 57 | root |
root |
/usr/lib/Singular/examples/LengthSym.sing
|
-rw-r--r-- | 71 | root |
root |
/usr/lib/Singular/examples/LengthSymElement.sing
|
-rw-r--r-- | 364 | root |
root |
/usr/lib/Singular/examples/LinearActionQ.sing
|
-rw-r--r-- | 444 | root |
root |
/usr/lib/Singular/examples/LinearizeAction.sing
|
-rw-r--r-- | 247 | root |
root |
/usr/lib/Singular/examples/Loading_a_library.sing
|
-rw-r--r-- | 890 | root |
root |
/usr/lib/Singular/examples/Long_coefficients.sing
|
-rw-r--r-- | 927 | root |
root |
/usr/lib/Singular/examples/MPfile_links.sing
|
-rw-r--r-- | 1188 | root |
root |
/usr/lib/Singular/examples/MPtcp_links.sing
|
-rw-r--r-- | 57 | root |
root |
/usr/lib/Singular/examples/Matrix_orderings.sing
|
-rw-r--r-- | 83 | root |
root |
/usr/lib/Singular/examples/Matrix_orderings_1.sing
|
-rw-r--r-- | 38 | root |
root |
/usr/lib/Singular/examples/Max.sing
|
-rw-r--r-- | 145 | root |
root |
/usr/lib/Singular/examples/Maxord.sing
|
-rw-r--r-- | 76 | root |
root |
/usr/lib/Singular/examples/MillerRabin.sing
|
-rw-r--r-- | 631 | root |
root |
/usr/lib/Singular/examples/Milnor_and_Tjurina_number.sing
|
-rw-r--r-- | 40 | root |
root |
/usr/lib/Singular/examples/Min.sing
|
-rw-r--r-- | 200 | root |
root |
/usr/lib/Singular/examples/MinimalDecomposition.sing
|
-rw-r--r-- | 180 | root |
root |
/usr/lib/Singular/examples/Miscellaneous_oddities.sing
|
-rw-r--r-- | 87 | root |
root |
/usr/lib/Singular/examples/Miscellaneous_oddities_1.sing
|
-rw-r--r-- | 112 | root |
root |
/usr/lib/Singular/examples/Miscellaneous_oddities_2.sing
|
-rw-r--r-- | 251 | root |
root |
/usr/lib/Singular/examples/Miscellaneous_oddities_3.sing
|
-rw-r--r-- | 165 | root |
root |
/usr/lib/Singular/examples/Miscellaneous_oddities_4.sing
|
-rw-r--r-- | 101 | root |
root |
/usr/lib/Singular/examples/ModEqn.sing
|
-rw-r--r-- | 101 | root |
root |
/usr/lib/Singular/examples/Module_orderings.sing
|
-rw-r--r-- | 58 | root |
root |
/usr/lib/Singular/examples/Module_orderings_1.sing
|
-rw-r--r-- | 58 | root |
root |
/usr/lib/Singular/examples/Module_orderings_2.sing
|
-rw-r--r-- | 58 | root |
root |
/usr/lib/Singular/examples/Module_orderings_3.sing
|
-rw-r--r-- | 86 | root |
root |
/usr/lib/Singular/examples/MultiplicitySequence.sing
|
-rw-r--r-- | 302 | root |
root |
/usr/lib/Singular/examples/NFMora.sing
|
-rw-r--r-- | 457 | root |
root |
/usr/lib/Singular/examples/NSplaces.sing
|
-rw-r--r-- | 83 | root |
root |
/usr/lib/Singular/examples/Names.sing
|
-rw-r--r-- | 152 | root |
root |
/usr/lib/Singular/examples/Names_1.sing
|
-rw-r--r-- | 79 | root |
root |
/usr/lib/Singular/examples/Names_2.sing
|
-rw-r--r-- | 52 | root |
root |
/usr/lib/Singular/examples/Names_3.sing
|
-rw-r--r-- | 158 | root |
root |
/usr/lib/Singular/examples/Names_in_procedures.sing
|
-rw-r--r-- | 356 | root |
root |
/usr/lib/Singular/examples/NoetherPosition.sing
|
-rw-r--r-- | 878 | root |
root |
/usr/lib/Singular/examples/Nonhyp.sing
|
-rw-r--r-- | 407 | root |
root |
/usr/lib/Singular/examples/Normalization.sing
|
-rw-r--r-- | 154 | root |
root |
/usr/lib/Singular/examples/NullCone.sing
|
-rw-r--r-- | 111 | root |
root |
/usr/lib/Singular/examples/Objects.sing
|
-rw-r--r-- | 232 | root |
root |
/usr/lib/Singular/examples/PBW_eqDeg.sing
|
-rw-r--r-- | 241 | root |
root |
/usr/lib/Singular/examples/PBW_maxDeg.sing
|
-rw-r--r-- | 266 | root |
root |
/usr/lib/Singular/examples/PBW_maxMonom.sing
|
-rw-r--r-- | 190 | root |
root |
/usr/lib/Singular/examples/PEsolve.sing
|
-rw-r--r-- | 80 | root |
root |
/usr/lib/Singular/examples/PH_ais.sing
|
-rw-r--r-- | 127 | root |
root |
/usr/lib/Singular/examples/PH_nais.sing
|
-rw-r--r-- | 278 | root |
root |
/usr/lib/Singular/examples/ParToVar.sing
|
-rw-r--r-- | 1017 | root |
root |
/usr/lib/Singular/examples/Parallelization_with_MPtcp_links.sing
|
-rw-r--r-- | 314 | root |
root |
/usr/lib/Singular/examples/Parameters.sing
|
-rw-r--r-- | 271 | root |
root |
/usr/lib/Singular/examples/PartitionVar.sing
|
-rw-r--r-- | 64 | root |
root |
/usr/lib/Singular/examples/PerfectPowerTest.sing
|
-rw-r--r-- | 62 | root |
root |
/usr/lib/Singular/examples/Pipe_links.sing
|
-rw-r--r-- | 130 | root |
root |
/usr/lib/Singular/examples/PocklingtonLehmer.sing
|
-rw-r--r-- | 3096 | root |
root |
/usr/lib/Singular/examples/Polar_curves.sing
|
-rw-r--r-- | 87 | root |
root |
/usr/lib/Singular/examples/PollardRho.sing
|
-rw-r--r-- | 1034 | root |
root |
/usr/lib/Singular/examples/Primary_decomposition.sing
|
-rw-r--r-- | 113 | root |
root |
/usr/lib/Singular/examples/PrimdecA.sing
|
-rw-r--r-- | 126 | root |
root |
/usr/lib/Singular/examples/PrimdecB.sing
|
-rw-r--r-- | 55 | root |
root |
/usr/lib/Singular/examples/Print_command.sing
|
-rw-r--r-- | 115 | root |
root |
/usr/lib/Singular/examples/Qso3Casimir.sing
|
-rw-r--r-- | 143 | root |
root |
/usr/lib/Singular/examples/Quotient.sing
|
-rw-r--r-- | 134 | root |
root |
/usr/lib/Singular/examples/Quotient_rings.sing
|
-rw-r--r-- | 275 | root |
root |
/usr/lib/Singular/examples/ReesAlgebra.sing
|
-rw-r--r-- | 735 | root |
root |
/usr/lib/Singular/examples/Resolution_of_singularities.sing
|
-rw-r--r-- | 158 | root |
root |
/usr/lib/Singular/examples/Return_type_of_procedures.sing
|
-rw-r--r-- | 160 | root |
root |
/usr/lib/Singular/examples/Return_type_of_procedures_1.sing
|
-rw-r--r-- | 1520 | root |
root |
/usr/lib/Singular/examples/Right_Groebner_bases_and_syzygies.sing
|
-rw-r--r-- | 15 | root |
root |
/usr/lib/Singular/examples/Rings_and_standard_bases.sing
|
-rw-r--r-- | 1121 | root |
root |
/usr/lib/Singular/examples/Rings_associated_to_monomial_orderings.sing
|
-rw-r--r-- | 377 | root |
root |
/usr/lib/Singular/examples/SDLoc.sing
|
-rw-r--r-- | 159 | root |
root |
/usr/lib/Singular/examples/Sannfs.sing
|
-rw-r--r-- | 567 | root |
root |
/usr/lib/Singular/examples/SannfsBFCT.sing
|
-rw-r--r-- | 149 | root |
root |
/usr/lib/Singular/examples/SannfsVar.sing
|
-rw-r--r-- | 113 | root |
root |
/usr/lib/Singular/examples/Sannfslog.sing
|
-rw-r--r-- | 270 | root |
root |
/usr/lib/Singular/examples/Saturation.sing
|
-rw-r--r-- | 57 | root |
root |
/usr/lib/Singular/examples/Schoof.sing
|
-rw-r--r-- | 63 | root |
root |
/usr/lib/Singular/examples/ShanksMestre.sing
|
-rw-r--r-- | 125 | root |
root |
/usr/lib/Singular/examples/SolowayStrassen.sing
|
-rw-r--r-- | 2063 | root |
root |
/usr/lib/Singular/examples/Solving_systems_of_polynomial_equations.sing
|
-rw-r--r-- | 687 | root |
root |
/usr/lib/Singular/examples/Ssi_file_links.sing
|
-rw-r--r-- | 199 | root |
root |
/usr/lib/Singular/examples/Ssi_tcp_links.sing
|
-rw-r--r-- | 173 | root |
root |
/usr/lib/Singular/examples/StabEqn.sing
|
-rw-r--r-- | 193 | root |
root |
/usr/lib/Singular/examples/StabEqnId.sing
|
-rw-r--r-- | 78 | root |
root |
/usr/lib/Singular/examples/StringF.sing
|
-rw-r--r-- | 94 | root |
root |
/usr/lib/Singular/examples/SymGroup.sing
|
-rw-r--r-- | 71 | root |
root |
/usr/lib/Singular/examples/Syzygies.sing
|
-rw-r--r-- | 1276 | root |
root |
/usr/lib/Singular/examples/T1_and_T2.sing
|
-rw-r--r-- | 47 | root |
root |
/usr/lib/Singular/examples/TRACE.sing
|
-rw-r--r-- | 509 | root |
root |
/usr/lib/Singular/examples/T_1.sing
|
-rw-r--r-- | 287 | root |
root |
/usr/lib/Singular/examples/T_12.sing
|
-rw-r--r-- | 372 | root |
root |
/usr/lib/Singular/examples/T_2.sing
|
-rw-r--r-- | 602 | root |
root |
/usr/lib/Singular/examples/Tjurina.sing
|
-rw-r--r-- | 418 | root |
root |
/usr/lib/Singular/examples/Tor.sing
|
-rw-r--r-- | 81 | root |
root |
/usr/lib/Singular/examples/Tracing_of_procedures.sing
|
-rw-r--r-- | 224 | root |
root |
/usr/lib/Singular/examples/Type_casting.sing
|
-rw-r--r-- | 437 | root |
root |
/usr/lib/Singular/examples/U_D_O.sing
|
-rw-r--r-- | 138 | root |
root |
/usr/lib/Singular/examples/UpOneMatrix.sing
|
-rw-r--r-- | 90 | root |
root |
/usr/lib/Singular/examples/UpperMonomials.sing
|
-rw-r--r-- | 238 | root |
root |
/usr/lib/Singular/examples/VarToPar.sing
|
-rw-r--r-- | 91 | root |
root |
/usr/lib/Singular/examples/WSemigroup.sing
|
-rw-r--r-- | 387 | root |
root |
/usr/lib/Singular/examples/Weierstrass.sing
|
-rw-r--r-- | 149 | root |
root |
/usr/lib/Singular/examples/Weyl.sing
|
-rw-r--r-- | 2335 | root |
root |
/usr/lib/Singular/examples/Writing_procedures_and_libraries.sing
|
-rw-r--r-- | 209 | root |
root |
/usr/lib/Singular/examples/XLsolve.sing
|
-rw-r--r-- | 190 | root |
root |
/usr/lib/Singular/examples/ZZsolve.sing
|
-rw-r--r-- | 174 | root |
root |
/usr/lib/Singular/examples/absFactorize.sing
|
-rw-r--r-- | 151 | root |
root |
/usr/lib/Singular/examples/absPrimdecGTZ.sing
|
-rw-r--r-- | 78 | root |
root |
/usr/lib/Singular/examples/absValue.sing
|
-rw-r--r-- | 122 | root |
root |
/usr/lib/Singular/examples/abstractR.sing
|
-rw-r--r-- | 252 | root |
root |
/usr/lib/Singular/examples/actionIsProper.sing
|
-rw-r--r-- | 112 | root |
root |
/usr/lib/Singular/examples/addcol.sing
|
-rw-r--r-- | 112 | root |
root |
/usr/lib/Singular/examples/addrow.sing
|
-rw-r--r-- | 66 | root |
root |
/usr/lib/Singular/examples/ademRelations.sing
|
-rw-r--r-- | 167 | root |
root |
/usr/lib/Singular/examples/adjoint.sing
|
-rw-r--r-- | 93 | root |
root |
/usr/lib/Singular/examples/adjointIdeal.sing
|
-rw-r--r-- | 216 | root |
root |
/usr/lib/Singular/examples/alexanderpolynomial.sing
|
-rw-r--r-- | 247 | root |
root |
/usr/lib/Singular/examples/algDependent.sing
|
-rw-r--r-- | 484 | root |
root |
/usr/lib/Singular/examples/alg_kernel.sing
|
-rw-r--r-- | 361 | root |
root |
/usr/lib/Singular/examples/algebra_containment.sing
|
-rw-r--r-- | 548 | root |
root |
/usr/lib/Singular/examples/algebraicDependence.sing
|
-rw-r--r-- | 85 | root |
root |
/usr/lib/Singular/examples/allPositive.sing
|
-rw-r--r-- | 32 | root |
root |
/usr/lib/Singular/examples/all_lib.sing
|
-rw-r--r-- | 126 | root |
root |
/usr/lib/Singular/examples/allprint.sing
|
-rw-r--r-- | 102 | root |
root |
/usr/lib/Singular/examples/allreal.sing
|
-rw-r--r-- | 106 | root |
root |
/usr/lib/Singular/examples/allrealst.sing
|
-rw-r--r-- | 214 | root |
root |
/usr/lib/Singular/examples/allsquarefree.sing
|
-rw-r--r-- | 156 | root |
root |
/usr/lib/Singular/examples/ambientDimension.sing
|
-rw-r--r-- | 412 | root |
root |
/usr/lib/Singular/examples/annPoly.sing
|
-rw-r--r-- | 471 | root |
root |
/usr/lib/Singular/examples/annRat.sing
|
-rw-r--r-- | 265 | root |
root |
/usr/lib/Singular/examples/annfs.sing
|
-rw-r--r-- | 230 | root |
root |
/usr/lib/Singular/examples/annfs0.sing
|
-rw-r--r-- | 175 | root |
root |
/usr/lib/Singular/examples/annfs2.sing
|
-rw-r--r-- | 768 | root |
root |
/usr/lib/Singular/examples/annfsBMI.sing
|
-rw-r--r-- | 261 | root |
root |
/usr/lib/Singular/examples/annfsParamBM.sing
|
-rw-r--r-- | 204 | root |
root |
/usr/lib/Singular/examples/annfsRB.sing
|
-rw-r--r-- | 351 | root |
root |
/usr/lib/Singular/examples/annfspecial.sing
|
-rw-r--r-- | 95 | root |
root |
/usr/lib/Singular/examples/annil.sing
|
-rw-r--r-- | 58 | root |
root |
/usr/lib/Singular/examples/appelF1.sing
|
-rw-r--r-- | 58 | root |
root |
/usr/lib/Singular/examples/appelF2.sing
|
-rw-r--r-- | 58 | root |
root |
/usr/lib/Singular/examples/appelF4.sing
|
-rw-r--r-- | 714 | root |
root |
/usr/lib/Singular/examples/applyAdF.sing
|
-rw-r--r-- | 360 | root |
root |
/usr/lib/Singular/examples/areZeroElements.sing
|
-rw-r--r-- | 78 | root |
root |
/usr/lib/Singular/examples/arrange.sing
|
-rw-r--r-- | 62 | root |
root |
/usr/lib/Singular/examples/ask.sing
|
-rw-r--r-- | 177 | root |
root |
/usr/lib/Singular/examples/assPrimes.sing
|
-rw-r--r-- | 64 | root |
root |
/usr/lib/Singular/examples/attrib.sing
|
-rw-r--r-- | 181 | root |
root |
/usr/lib/Singular/examples/attrib_1.sing
|
-rw-r--r-- | 172 | root |
root |
/usr/lib/Singular/examples/attrib_2.sing
|
-rw-r--r-- | 153 | root |
root |
/usr/lib/Singular/examples/autonom.sing
|
-rw-r--r-- | 165 | root |
root |
/usr/lib/Singular/examples/autonomDim.sing
|
-rw-r--r-- | 99 | root |
root |
/usr/lib/Singular/examples/awalk1.sing
|
-rw-r--r-- | 97 | root |
root |
/usr/lib/Singular/examples/awalk2.sing
|
-rw-r--r-- | 136 | root |
root |
/usr/lib/Singular/examples/bFactor.sing
|
-rw-r--r-- | 92 | root |
root |
/usr/lib/Singular/examples/babyGiant.sing
|
-rw-r--r-- | 159 | root |
root |
/usr/lib/Singular/examples/backward.sing
|
-rw-r--r-- | 652 | root |
root |
/usr/lib/Singular/examples/bareiss.sing
|
-rw-r--r-- | 91 | root |
root |
/usr/lib/Singular/examples/basicinvariants.sing
|
-rw-r--r-- | 315 | root |
root |
/usr/lib/Singular/examples/belongSemigroup.sing
|
-rw-r--r-- | 71 | root |
root |
/usr/lib/Singular/examples/bernstein.sing
|
-rw-r--r-- | 97 | root |
root |
/usr/lib/Singular/examples/bernsteinBM.sing
|
-rw-r--r-- | 244 | root |
root |
/usr/lib/Singular/examples/bernsteinLift.sing
|
-rw-r--r-- | 474 | root |
root |
/usr/lib/Singular/examples/betti.sing
|
-rw-r--r-- | 382 | root |
root |
/usr/lib/Singular/examples/betti_BR_PLURAL_BR.sing
|
-rw-r--r-- | 101 | root |
root |
/usr/lib/Singular/examples/bfct.sing
|
-rw-r--r-- | 155 | root |
root |
/usr/lib/Singular/examples/bfctAnn.sing
|
-rw-r--r-- | 376 | root |
root |
/usr/lib/Singular/examples/bfctIdeal.sing
|
-rw-r--r-- | 93 | root |
root |
/usr/lib/Singular/examples/bfctOneGB.sing
|
-rw-r--r-- | 111 | root |
root |
/usr/lib/Singular/examples/bfctSyz.sing
|
-rw-r--r-- | 79 | root |
root |
/usr/lib/Singular/examples/bfctVarAnn.sing
|
-rw-r--r-- | 90 | root |
root |
/usr/lib/Singular/examples/bfctVarIn.sing
|
-rw-r--r-- | 82 | root |
root |
/usr/lib/Singular/examples/bigint_declarations.sing
|
-rw-r--r-- | 221 | root |
root |
/usr/lib/Singular/examples/bigint_expressions.sing
|
-rw-r--r-- | 67 | root |
root |
/usr/lib/Singular/examples/bigint_operations.sing
|
-rw-r--r-- | 90 | root |
root |
/usr/lib/Singular/examples/bigintmat_declarations.sing
|
-rw-r--r-- | 163 | root |
root |
/usr/lib/Singular/examples/bigintmat_expressions.sing
|
-rw-r--r-- | 360 | root |
root |
/usr/lib/Singular/examples/bigintmat_operations.sing
|
-rw-r--r-- | 147 | root |
root |
/usr/lib/Singular/examples/bigintmat_type_cast.sing
|
-rw-r--r-- | 268 | root |
root |
/usr/lib/Singular/examples/binomial.sing
|
-rw-r--r-- | 108 | root |
root |
/usr/lib/Singular/examples/binomials2intmat.sing
|
-rw-r--r-- | 131 | root |
root |
/usr/lib/Singular/examples/blowUp.sing
|
-rw-r--r-- | 295 | root |
root |
/usr/lib/Singular/examples/blowUp2.sing
|
-rw-r--r-- | 262 | root |
root |
/usr/lib/Singular/examples/blowUpBO.sing
|
-rw-r--r-- | 838 | root |
root |
/usr/lib/Singular/examples/blowup0.sing
|
-rw-r--r-- | 55 | root |
root |
/usr/lib/Singular/examples/boolean_operations.sing
|
-rw-r--r-- | 104 | root |
root |
/usr/lib/Singular/examples/boundBuFou.sing
|
-rw-r--r-- | 104 | root |
root |
/usr/lib/Singular/examples/boundDes.sing
|
-rw-r--r-- | 110 | root |
root |
/usr/lib/Singular/examples/boundposDes.sing
|
-rw-r--r-- | 642 | root |
root |
/usr/lib/Singular/examples/bracket.sing
|
-rw-r--r-- | 75 | root |
root |
/usr/lib/Singular/examples/breakpoint.sing
|
-rw-r--r-- | 84 | root |
root |
/usr/lib/Singular/examples/bubblesort.sing
|
-rw-r--r-- | 238 | root |
root |
/usr/lib/Singular/examples/buildtreetoMaple.sing
|
-rw-r--r-- | 255 | root |
root |
/usr/lib/Singular/examples/busadj.sing
|
-rw-r--r-- | 649 | root |
root |
/usr/lib/Singular/examples/calculateI.sing
|
-rw-r--r-- | 363 | root |
root |
/usr/lib/Singular/examples/canonMap.sing
|
-rw-r--r-- | 162 | root |
root |
/usr/lib/Singular/examples/canonicalizeCone.sing
|
-rw-r--r-- | 290 | root |
root |
/usr/lib/Singular/examples/canonize.sing
|
-rw-r--r-- | 207 | root |
root |
/usr/lib/Singular/examples/cantoradd.sing
|
-rw-r--r-- | 163 | root |
root |
/usr/lib/Singular/examples/cantormult.sing
|
-rw-r--r-- | 180 | root |
root |
/usr/lib/Singular/examples/cantorred.sing
|
-rw-r--r-- | 182 | root |
root |
/usr/lib/Singular/examples/cantreetoMaple.sing
|
-rw-r--r-- | 110 | root |
root |
/usr/lib/Singular/examples/cardGroup.sing
|
-rw-r--r-- | 399 | root |
root |
/usr/lib/Singular/examples/center.sing
|
-rw-r--r-- | 457 | root |
root |
/usr/lib/Singular/examples/centerRed.sing
|
-rw-r--r-- | 416 | root |
root |
/usr/lib/Singular/examples/centerVS.sing
|
-rw-r--r-- | 145 | root |
root |
/usr/lib/Singular/examples/central1st.sing
|
-rw-r--r-- | 151 | root |
root |
/usr/lib/Singular/examples/central2nd.sing
|
-rw-r--r-- | 664 | root |
root |
/usr/lib/Singular/examples/centralizeSet.sing
|
-rw-r--r-- | 922 | root |
root |
/usr/lib/Singular/examples/centralizer.sing
|
-rw-r--r-- | 360 | root |
root |
/usr/lib/Singular/examples/centralizerRed.sing
|
-rw-r--r-- | 346 | root |
root |
/usr/lib/Singular/examples/centralizerVS.sing
|
-rw-r--r-- | 207 | root |
root |
/usr/lib/Singular/examples/cgs.sing
|
-rw-r--r-- | 309 | root |
root |
/usr/lib/Singular/examples/cgsdr.sing
|
-rw-r--r-- | 225 | root |
root |
/usr/lib/Singular/examples/chaincrit.sing
|
-rw-r--r-- | 286 | root |
root |
/usr/lib/Singular/examples/changeDenominator.sing
|
-rw-r--r-- | 135 | root |
root |
/usr/lib/Singular/examples/changechar.sing
|
-rw-r--r-- | 183 | root |
root |
/usr/lib/Singular/examples/changeord.sing
|
-rw-r--r-- | 193 | root |
root |
/usr/lib/Singular/examples/changevar.sing
|
-rw-r--r-- | 197 | root |
root |
/usr/lib/Singular/examples/char.sing
|
-rw-r--r-- | 339 | root |
root |
/usr/lib/Singular/examples/charInfo.sing
|
-rw-r--r-- | 274 | root |
root |
/usr/lib/Singular/examples/charVariety.sing
|
-rw-r--r-- | 66 | root |
root |
/usr/lib/Singular/examples/char_series.sing
|
-rw-r--r-- | 111 | root |
root |
/usr/lib/Singular/examples/charexp2conductor.sing
|
-rw-r--r-- | 61 | root |
root |
/usr/lib/Singular/examples/charexp2generators.sing
|
-rw-r--r-- | 295 | root |
root |
/usr/lib/Singular/examples/charexp2inter.sing
|
-rw-r--r-- | 58 | root |
root |
/usr/lib/Singular/examples/charexp2multseq.sing
|
-rw-r--r-- | 167 | root |
root |
/usr/lib/Singular/examples/charexp2poly.sing
|
-rw-r--r-- | 100 | root |
root |
/usr/lib/Singular/examples/charpoly.sing
|
-rw-r--r-- | 212 | root |
root |
/usr/lib/Singular/examples/charstr.sing
|
-rw-r--r-- | 311 | root |
root |
/usr/lib/Singular/examples/checkFactor.sing
|
-rw-r--r-- | 203 | root |
root |
/usr/lib/Singular/examples/checkRoot.sing
|
-rw-r--r-- | 74 | root |
root |
/usr/lib/Singular/examples/chineseRem.sing
|
-rw-r--r-- | 205 | root |
root |
/usr/lib/Singular/examples/chinrem.sing
|
-rw-r--r-- | 122 | root |
root |
/usr/lib/Singular/examples/chinrestp.sing
|
-rw-r--r-- | 122 | root |
root |
/usr/lib/Singular/examples/classify.sing
|
-rw-r--r-- | 268 | root |
root |
/usr/lib/Singular/examples/cleanunit.sing
|
-rw-r--r-- | 153 | root |
root |
/usr/lib/Singular/examples/cleardenom.sing
|
-rw-r--r-- | 167 | root |
root |
/usr/lib/Singular/examples/closed_points.sing
|
-rw-r--r-- | 94 | root |
root |
/usr/lib/Singular/examples/closetex.sing
|
-rw-r--r-- | 460 | root |
root |
/usr/lib/Singular/examples/closureFrac.sing
|
-rw-r--r-- | 229 | root |
root |
/usr/lib/Singular/examples/codim.sing
|
-rw-r--r-- | 132 | root |
root |
/usr/lib/Singular/examples/codimension.sing
|
-rw-r--r-- | 239 | root |
root |
/usr/lib/Singular/examples/coef.sing
|
-rw-r--r-- | 95 | root |
root |
/usr/lib/Singular/examples/coeffmod.sing
|
-rw-r--r-- | 162 | root |
root |
/usr/lib/Singular/examples/coeffs.sing
|
-rw-r--r-- | 278 | root |
root |
/usr/lib/Singular/examples/coeffs_1.sing
|
-rw-r--r-- | 254 | root |
root |
/usr/lib/Singular/examples/collectDiv.sing
|
-rw-r--r-- | 149 | root |
root |
/usr/lib/Singular/examples/colrank.sing
|
-rw-r--r-- | 364 | root |
root |
/usr/lib/Singular/examples/colred.sing
|
-rw-r--r-- | 143 | root |
root |
/usr/lib/Singular/examples/completeReduction.sing
|
-rw-r--r-- | 106 | root |
root |
/usr/lib/Singular/examples/complexSingType.sing
|
-rw-r--r-- | 247 | root |
root |
/usr/lib/Singular/examples/compress.sing
|
-rw-r--r-- | 210 | root |
root |
/usr/lib/Singular/examples/computemcm.sing
|
-rw-r--r-- | 176 | root |
root |
/usr/lib/Singular/examples/concat.sing
|
-rw-r--r-- | 182 | root |
root |
/usr/lib/Singular/examples/coneLink.sing
|
-rw-r--r-- | 621 | root |
root |
/usr/lib/Singular/examples/coneViaInequalities.sing
|
-rw-r--r-- | 635 | root |
root |
/usr/lib/Singular/examples/coneViaPoints.sing
|
-rw-r--r-- | 294 | root |
root |
/usr/lib/Singular/examples/constructH.sing
|
-rw-r--r-- | 346 | root |
root |
/usr/lib/Singular/examples/constructblwup.sing
|
-rw-r--r-- | 350 | root |
root |
/usr/lib/Singular/examples/constructlastblwup.sing
|
-rw-r--r-- | 193 | root |
root |
/usr/lib/Singular/examples/containsAsFace.sing
|
-rw-r--r-- | 141 | root |
root |
/usr/lib/Singular/examples/containsInCollection.sing
|
-rw-r--r-- | 315 | root |
root |
/usr/lib/Singular/examples/containsInSupport.sing
|
-rw-r--r-- | 166 | root |
root |
/usr/lib/Singular/examples/containsPositiveVector.sing
|
-rw-r--r-- | 133 | root |
root |
/usr/lib/Singular/examples/containsRelatively.sing
|
-rw-r--r-- | 117 | root |
root |
/usr/lib/Singular/examples/content.sing
|
-rw-r--r-- | 95 | root |
root |
/usr/lib/Singular/examples/contract.sing
|
-rw-r--r-- | 230 | root |
root |
/usr/lib/Singular/examples/control.sing
|
-rw-r--r-- | 232 | root |
root |
/usr/lib/Singular/examples/controlDim.sing
|
-rw-r--r-- | 180 | root |
root |
/usr/lib/Singular/examples/controlExample.sing
|
-rw-r--r-- | 223 | root |
root |
/usr/lib/Singular/examples/convertdata.sing
|
-rw-r--r-- | 317 | root |
root |
/usr/lib/Singular/examples/convexHull.sing
|
-rw-r--r-- | 341 | root |
root |
/usr/lib/Singular/examples/convexIntersection.sing
|
-rw-r--r-- | 127 | root |
root |
/usr/lib/Singular/examples/convloc.sing
|
-rw-r--r-- | 142 | root |
root |
/usr/lib/Singular/examples/coords.sing
|
-rw-r--r-- | 92 | root |
root |
/usr/lib/Singular/examples/corank.sing
|
-rw-r--r-- | 257 | root |
root |
/usr/lib/Singular/examples/cornerMonomials.sing
|
-rw-r--r-- | 60 | root |
root |
/usr/lib/Singular/examples/countPoints.sing
|
-rw-r--r-- | 77 | root |
root |
/usr/lib/Singular/examples/createBO.sing
|
-rw-r--r-- | 654 | root |
root |
/usr/lib/Singular/examples/createGradedRingHomomorphism.sing
|
-rw-r--r-- | 505 | root |
root |
/usr/lib/Singular/examples/createGroup.sing
|
-rw-r--r-- | 290 | root |
root |
/usr/lib/Singular/examples/createQuotientGroup.sing
|
-rw-r--r-- | 360 | root |
root |
/usr/lib/Singular/examples/createTorsionFreeGroup.sing
|
-rw-r--r-- | 72 | root |
root |
/usr/lib/Singular/examples/createlist.sing
|
-rw-r--r-- | 404 | root |
root |
/usr/lib/Singular/examples/cup.sing
|
-rw-r--r-- | 314 | root |
root |
/usr/lib/Singular/examples/cupproduct.sing
|
-rw-r--r-- | 88 | root |
root |
/usr/lib/Singular/examples/cyclic.sing
|
-rw-r--r-- | 62 | root |
root |
/usr/lib/Singular/examples/cyclotomic.sing
|
-rw-r--r-- | 14 | root |
root |
/usr/lib/Singular/examples/datetime.sing
|
-rw-r--r-- | 121 | root |
root |
/usr/lib/Singular/examples/dbprint.sing
|
-rw-r--r-- | 133 | root |
root |
/usr/lib/Singular/examples/deRhamCohom.sing
|
-rw-r--r-- | 405 | root |
root |
/usr/lib/Singular/examples/deRhamCohomIdeal.sing
|
-rw-r--r-- | 40 | root |
root |
/usr/lib/Singular/examples/debug_log.sing
|
-rw-r--r-- | 102 | root |
root |
/usr/lib/Singular/examples/dec1var.sing
|
-rw-r--r-- | 77 | root |
root |
/usr/lib/Singular/examples/decimal.sing
|
-rw-r--r-- | 530 | root |
root |
/usr/lib/Singular/examples/decode.sing
|
-rw-r--r-- | 204 | root |
root |
/usr/lib/Singular/examples/decodeCode.sing
|
-rw-r--r-- | 179 | root |
root |
/usr/lib/Singular/examples/decodeRandom.sing
|
-rw-r--r-- | 163 | root |
root |
/usr/lib/Singular/examples/decodeRandomFL.sing
|
-rw-r--r-- | 689 | root |
root |
/usr/lib/Singular/examples/decodeSV.sing
|
-rw-r--r-- | 143 | root |
root |
/usr/lib/Singular/examples/decoef.sing
|
-rw-r--r-- | 188 | root |
root |
/usr/lib/Singular/examples/def.sing
|
-rw-r--r-- | 24 | root |
root |
/usr/lib/Singular/examples/def_declarations.sing
|
-rw-r--r-- | 266 | root |
root |
/usr/lib/Singular/examples/defineHomogeneous.sing
|
-rw-r--r-- | 234 | root |
root |
/usr/lib/Singular/examples/defined.sing
|
-rw-r--r-- | 123 | root |
root |
/usr/lib/Singular/examples/deform.sing
|
-rw-r--r-- | 139 | root |
root |
/usr/lib/Singular/examples/defring.sing
|
-rw-r--r-- | 86 | root |
root |
/usr/lib/Singular/examples/defringp.sing
|
-rw-r--r-- | 86 | root |
root |
/usr/lib/Singular/examples/defrings.sing
|
-rw-r--r-- | 186 | root |
root |
/usr/lib/Singular/examples/deg.sing
|
-rw-r--r-- | 181 | root |
root |
/usr/lib/Singular/examples/degree.sing
|
-rw-r--r-- | 180 | root |
root |
/usr/lib/Singular/examples/degreepart.sing
|
-rw-r--r-- | 53 | root |
root |
/usr/lib/Singular/examples/delete.sing
|
-rw-r--r-- | 190 | root |
root |
/usr/lib/Singular/examples/deleteGenerator.sing
|
-rw-r--r-- | 78 | root |
root |
/usr/lib/Singular/examples/deleteSublist.sing
|
-rw-r--r-- | 287 | root |
root |
/usr/lib/Singular/examples/delta.sing
|
-rw-r--r-- | 340 | root |
root |
/usr/lib/Singular/examples/deltaLoc.sing
|
-rw-r--r-- | 66 | root |
root |
/usr/lib/Singular/examples/denominator.sing
|
-rw-r--r-- | 324 | root |
root |
/usr/lib/Singular/examples/depth.sing
|
-rw-r--r-- | 220 | root |
root |
/usr/lib/Singular/examples/depthIdeal.sing
|
-rw-r--r-- | 175 | root |
root |
/usr/lib/Singular/examples/derivate.sing
|
-rw-r--r-- | 72 | root |
root |
/usr/lib/Singular/examples/det.sing
|
-rw-r--r-- | 103 | root |
root |
/usr/lib/Singular/examples/det_B.sing
|
-rw-r--r-- | 110 | root |
root |
/usr/lib/Singular/examples/detadj.sing
|
-rw-r--r-- | 80 | root |
root |
/usr/lib/Singular/examples/determinacy.sing
|
-rw-r--r-- | 1323 | root |
root |
/usr/lib/Singular/examples/determinecenter.sing
|
-rw-r--r-- | 606 | root |
root |
/usr/lib/Singular/examples/develop.sing
|
-rw-r--r-- | 116 | root |
root |
/usr/lib/Singular/examples/diag.sing
|
-rw-r--r-- | 142 | root |
root |
/usr/lib/Singular/examples/diagInvariants.sing
|
-rw-r--r-- | 107 | root |
root |
/usr/lib/Singular/examples/diag_test.sing
|
-rw-r--r-- | 237 | root |
root |
/usr/lib/Singular/examples/diff.sing
|
-rw-r--r-- | 201 | root |
root |
/usr/lib/Singular/examples/difpoly2tex.sing
|
-rw-r--r-- | 83 | root |
root |
/usr/lib/Singular/examples/dim.sing
|
-rw-r--r-- | 322 | root |
root |
/usr/lib/Singular/examples/dimGradedPart.sing
|
-rw-r--r-- | 192 | root |
root |
/usr/lib/Singular/examples/dimH.sing
|
-rw-r--r-- | 198 | root |
root |
/usr/lib/Singular/examples/dimMon.sing
|
-rw-r--r-- | 394 | root |
root |
/usr/lib/Singular/examples/dim_BR_PLURAL_BR.sing
|
-rw-r--r-- | 90 | root |
root |
/usr/lib/Singular/examples/dim_slocus.sing
|
-rw-r--r-- | 128 | root |
root |
/usr/lib/Singular/examples/dimension.sing
|
-rw-r--r-- | 50 | root |
root |
/usr/lib/Singular/examples/disc.sing
|
-rw-r--r-- | 210 | root |
root |
/usr/lib/Singular/examples/discr.sing
|
-rw-r--r-- | 95 | root |
root |
/usr/lib/Singular/examples/discrepancy.sing
|
-rw-r--r-- | 94 | root |
root |
/usr/lib/Singular/examples/displayHNE.sing
|
-rw-r--r-- | 103 | root |
root |
/usr/lib/Singular/examples/displayInvariants.sing
|
-rw-r--r-- | 210 | root |
root |
/usr/lib/Singular/examples/displayMultsequence.sing
|
-rw-r--r-- | 487 | root |
root |
/usr/lib/Singular/examples/divideUnits.sing
|
-rw-r--r-- | 97 | root |
root |
/usr/lib/Singular/examples/dividelist.sing
|
-rw-r--r-- | 157 | root |
root |
/usr/lib/Singular/examples/division.sing
|
-rw-r--r-- | 636 | root |
root |
/usr/lib/Singular/examples/division_BR_PLURAL_BR.sing
|
-rw-r--r-- | 156 | root |
root |
/usr/lib/Singular/examples/divisor.sing
|
-rw-r--r-- | 156 | root |
root |
/usr/lib/Singular/examples/double.sing
|
-rw-r--r-- | 141 | root |
root |
/usr/lib/Singular/examples/dsum.sing
|
-rw-r--r-- | 194 | root |
root |
/usr/lib/Singular/examples/dual.sing
|
-rw-r--r-- | 86 | root |
root |
/usr/lib/Singular/examples/dualPolytope.sing
|
-rw-r--r-- | 191 | root |
root |
/usr/lib/Singular/examples/dual_code.sing
|
-rw-r--r-- | 290 | root |
root |
/usr/lib/Singular/examples/dump.sing
|
-rw-r--r-- | 108 | root |
root |
/usr/lib/Singular/examples/ecart.sing
|
-rw-r--r-- | 60 | root |
root |
/usr/lib/Singular/examples/eexgcdN.sing
|
-rw-r--r-- | 83 | root |
root |
/usr/lib/Singular/examples/ehrhartRing.sing
|
-rw-r--r-- | 91 | root |
root |
/usr/lib/Singular/examples/eigenvals.sing
|
-rw-r--r-- | 328 | root |
root |
/usr/lib/Singular/examples/eigenvalues.sing
|
-rw-r--r-- | 89 | root |
root |
/usr/lib/Singular/examples/elemSymmId.sing
|
-rw-r--r-- | 366 | root |
root |
/usr/lib/Singular/examples/elim.sing
|
-rw-r--r-- | 138 | root |
root |
/usr/lib/Singular/examples/elim1.sing
|
-rw-r--r-- | 139 | root |
root |
/usr/lib/Singular/examples/elim2.sing
|
-rw-r--r-- | 248 | root |
root |
/usr/lib/Singular/examples/elimRing.sing
|
-rw-r--r-- | 210 | root |
root |
/usr/lib/Singular/examples/eliminate.sing
|
-rw-r--r-- | 767 | root |
root |
/usr/lib/Singular/examples/eliminate_BR_PLURAL_BR.sing
|
-rw-r--r-- | 101 | root |
root |
/usr/lib/Singular/examples/elimlinearpart.sing
|
-rw-r--r-- | 151 | root |
root |
/usr/lib/Singular/examples/elimpart.sing
|
-rw-r--r-- | 93 | root |
root |
/usr/lib/Singular/examples/elimpartanyr.sing
|
-rw-r--r-- | 86 | root |
root |
/usr/lib/Singular/examples/elimrep.sing
|
-rw-r--r-- | 154 | root |
root |
/usr/lib/Singular/examples/ellipticAdd.sing
|
-rw-r--r-- | 94 | root |
root |
/usr/lib/Singular/examples/ellipticAllPoints.sing
|
-rw-r--r-- | 129 | root |
root |
/usr/lib/Singular/examples/ellipticMult.sing
|
-rw-r--r-- | 63 | root |
root |
/usr/lib/Singular/examples/ellipticRandomCurve.sing
|
-rw-r--r-- | 69 | root |
root |
/usr/lib/Singular/examples/ellipticRandomPoint.sing
|
-rw-r--r-- | 180 | root |
root |
/usr/lib/Singular/examples/embedMat.sing
|
-rw-r--r-- | 22 | root |
root |
/usr/lib/Singular/examples/emptyFan.sing
|
-rw-r--r-- | 193 | root |
root |
/usr/lib/Singular/examples/encode.sing
|
-rw-r--r-- | 77 | root |
root |
/usr/lib/Singular/examples/endvfilt.sing
|
-rw-r--r-- | 125 | root |
root |
/usr/lib/Singular/examples/engine.sing
|
-rw-r--r-- | 95 | root |
root |
/usr/lib/Singular/examples/envelope.sing
|
-rw-r--r-- | 124 | root |
root |
/usr/lib/Singular/examples/equalJinI.sing
|
-rw-r--r-- | 813 | root |
root |
/usr/lib/Singular/examples/equalMultiDeg.sing
|
-rw-r--r-- | 181 | root |
root |
/usr/lib/Singular/examples/equations.sing
|
-rw-r--r-- | 127 | root |
root |
/usr/lib/Singular/examples/equiRadical.sing
|
-rw-r--r-- | 130 | root |
root |
/usr/lib/Singular/examples/equidim.sing
|
-rw-r--r-- | 133 | root |
root |
/usr/lib/Singular/examples/equidimMax.sing
|
-rw-r--r-- | 130 | root |
root |
/usr/lib/Singular/examples/equidimMaxEHV.sing
|
-rw-r--r-- | 287 | root |
root |
/usr/lib/Singular/examples/equidimZ.sing
|
-rw-r--r-- | 383 | root |
root |
/usr/lib/Singular/examples/errorInsert.sing
|
-rw-r--r-- | 362 | root |
root |
/usr/lib/Singular/examples/errorRand.sing
|
-rw-r--r-- | 164 | root |
root |
/usr/lib/Singular/examples/errormap.sing
|
-rw-r--r-- | 310 | root |
root |
/usr/lib/Singular/examples/esIdeal.sing
|
-rw-r--r-- | 383 | root |
root |
/usr/lib/Singular/examples/esStratum.sing
|
-rw-r--r-- | 49 | root |
root |
/usr/lib/Singular/examples/euler.sing
|
-rw-r--r-- | 362 | root |
root |
/usr/lib/Singular/examples/eval.sing
|
-rw-r--r-- | 153 | root |
root |
/usr/lib/Singular/examples/evaluate_reynolds.sing
|
-rw-r--r-- | 185 | root |
root |
/usr/lib/Singular/examples/execute.sing
|
-rw-r--r-- | 50 | root |
root |
/usr/lib/Singular/examples/exgcdN.sing
|
-rw-r--r-- | 137 | root |
root |
/usr/lib/Singular/examples/exp2pt.sing
|
-rw-r--r-- | 73 | root |
root |
/usr/lib/Singular/examples/expo.sing
|
-rw-r--r-- | 306 | root |
root |
/usr/lib/Singular/examples/exportNuminvs.sing
|
-rw-r--r-- | 211 | root |
root |
/usr/lib/Singular/examples/exportto.sing
|
-rw-r--r-- | 376 | root |
root |
/usr/lib/Singular/examples/extcurve.sing
|
-rw-r--r-- | 298 | root |
root |
/usr/lib/Singular/examples/extdevelop.sing
|
-rw-r--r-- | 998 | root |
root |
/usr/lib/Singular/examples/extendring.sing
|
-rw-r--r-- | 176 | root |
root |
/usr/lib/Singular/examples/exteriorBasis.sing
|
-rw-r--r-- | 531 | root |
root |
/usr/lib/Singular/examples/exteriorPower.sing
|
-rw-r--r-- | 71 | root |
root |
/usr/lib/Singular/examples/extgcd.sing
|
-rw-r--r-- | 118 | root |
root |
/usr/lib/Singular/examples/facFirstShift.sing
|
-rw-r--r-- | 123 | root |
root |
/usr/lib/Singular/examples/facFirstWeyl.sing
|
-rw-r--r-- | 717 | root |
root |
/usr/lib/Singular/examples/facGBIdeal.sing
|
-rw-r--r-- | 457 | root |
root |
/usr/lib/Singular/examples/facSubWeyl.sing
|
-rw-r--r-- | 181 | root |
root |
/usr/lib/Singular/examples/facets.sing
|
-rw-r--r-- | 78 | root |
root |
/usr/lib/Singular/examples/facstd.sing
|
-rw-r--r-- | 250 | root |
root |
/usr/lib/Singular/examples/factmodd.sing
|
-rw-r--r-- | 226 | root |
root |
/usr/lib/Singular/examples/factorH.sing
|
-rw-r--r-- | 145 | root |
root |
/usr/lib/Singular/examples/factorLenstraECM.sing
|
-rw-r--r-- | 243 | root |
root |
/usr/lib/Singular/examples/factorgroup.sing
|
-rw-r--r-- | 34 | root |
root |
/usr/lib/Singular/examples/factorial.sing
|
-rw-r--r-- | 334 | root |
root |
/usr/lib/Singular/examples/factorize.sing
|
-rw-r--r-- | 35 | root |
root |
/usr/lib/Singular/examples/farey.sing
|
-rw-r--r-- | 56 | root |
root |
/usr/lib/Singular/examples/fastExpt.sing
|
-rw-r--r-- | 252 | root |
root |
/usr/lib/Singular/examples/fastelim.sing
|
-rw-r--r-- | 299 | root |
root |
/usr/lib/Singular/examples/fetch.sing
|
-rw-r--r-- | 542 | root |
root |
/usr/lib/Singular/examples/fetch_BR_PLURAL_BR.sing
|
-rw-r--r-- | 483 | root |
root |
/usr/lib/Singular/examples/fetchall.sing
|
-rw-r--r-- | 190 | root |
root |
/usr/lib/Singular/examples/ffsolve.sing
|
-rw-r--r-- | 196 | root |
root |
/usr/lib/Singular/examples/fglm.sing
|
-rw-r--r-- | 176 | root |
root |
/usr/lib/Singular/examples/fglm_solve.sing
|
-rw-r--r-- | 193 | root |
root |
/usr/lib/Singular/examples/fglmquot.sing
|
-rw-r--r-- | 34 | root |
root |
/usr/lib/Singular/examples/fibonacci.sing
|
-rw-r--r-- | 115 | root |
root |
/usr/lib/Singular/examples/find.sing
|
-rw-r--r-- | 979 | root |
root |
/usr/lib/Singular/examples/findAuto.sing
|
-rw-r--r-- | 339 | root |
root |
/usr/lib/Singular/examples/findInvo.sing
|
-rw-r--r-- | 420 | root |
root |
/usr/lib/Singular/examples/findInvoDiag.sing
|
-rw-r--r-- | 347 | root |
root |
/usr/lib/Singular/examples/findTorsion.sing
|
-rw-r--r-- | 38 | root |
root |
/usr/lib/Singular/examples/findifs_example.sing
|
-rw-r--r-- | 178 | root |
root |
/usr/lib/Singular/examples/findimAlgebra.sing
|
-rw-r--r-- | 159 | root |
root |
/usr/lib/Singular/examples/finduni.sing
|
-rw-r--r-- | 117 | root |
root |
/usr/lib/Singular/examples/findvars.sing
|
-rw-r--r-- | 109 | root |
root |
/usr/lib/Singular/examples/finiteDiagInvariants.sing
|
-rw-r--r-- | 201 | root |
root |
/usr/lib/Singular/examples/finitenessTest.sing
|
-rw-r--r-- | 87 | root |
root |
/usr/lib/Singular/examples/firstoct.sing
|
-rw-r--r-- | 163 | root |
root |
/usr/lib/Singular/examples/fitting.sing
|
-rw-r--r-- | 157 | root |
root |
/usr/lib/Singular/examples/fl2poly.sing
|
-rw-r--r-- | 93 | root |
root |
/usr/lib/Singular/examples/flatten.sing
|
-rw-r--r-- | 156 | root |
root |
/usr/lib/Singular/examples/flatteningStrat.sing
|
-rw-r--r-- | 156 | root |
root |
/usr/lib/Singular/examples/forward.sing
|
-rw-r--r-- | 157 | root |
root |
/usr/lib/Singular/examples/fourier.sing
|
-rw-r--r-- | 232 | root |
root |
/usr/lib/Singular/examples/fouriersystem.sing
|
-rw-r--r-- | 301 | root |
root |
/usr/lib/Singular/examples/fprintf.sing
|
-rw-r--r-- | 446 | root |
root |
/usr/lib/Singular/examples/freeGBasis.sing
|
-rw-r--r-- | 117 | root |
root |
/usr/lib/Singular/examples/freemodule.sing
|
-rw-r--r-- | 338 | root |
root |
/usr/lib/Singular/examples/freerank.sing
|
-rw-r--r-- | 127 | root |
root |
/usr/lib/Singular/examples/frwalk.sing
|
-rw-r--r-- | 21 | root |
root |
/usr/lib/Singular/examples/fullFan.sing
|
-rw-r--r-- | 109 | root |
root |
/usr/lib/Singular/examples/fullFan_1.sing
|
-rw-r--r-- | 285 | root |
root |
/usr/lib/Singular/examples/fullSerreRelations.sing
|
-rw-r--r-- | 193 | root |
root |
/usr/lib/Singular/examples/furtherInvar.sing
|
-rw-r--r-- | 39 | root |
root |
/usr/lib/Singular/examples/further_hn_proc.sing
|
-rw-r--r-- | 96 | root |
root |
/usr/lib/Singular/examples/fwalk.sing
|
-rw-r--r-- | 465 | root |
root |
/usr/lib/Singular/examples/gauss_col.sing
|
-rw-r--r-- | 107 | root |
root |
/usr/lib/Singular/examples/gauss_nf.sing
|
-rw-r--r-- | 387 | root |
root |
/usr/lib/Singular/examples/gauss_row.sing
|
-rw-r--r-- | 324 | root |
root |
/usr/lib/Singular/examples/gaussred.sing
|
-rw-r--r-- | 359 | root |
root |
/usr/lib/Singular/examples/gaussred_pivot.sing
|
-rw-r--r-- | 200 | root |
root |
/usr/lib/Singular/examples/gcd.sing
|
-rw-r--r-- | 107 | root |
root |
/usr/lib/Singular/examples/gcdMon.sing
|
-rw-r--r-- | 48 | root |
root |
/usr/lib/Singular/examples/gcdN.sing
|
-rw-r--r-- | 203 | root |
root |
/usr/lib/Singular/examples/gcddivisor.sing
|
-rw-r--r-- | 135 | root |
root |
/usr/lib/Singular/examples/gen.sing
|
-rw-r--r-- | 143 | root |
root |
/usr/lib/Singular/examples/genMDSMat.sing
|
-rw-r--r-- | 112 | root |
root |
/usr/lib/Singular/examples/genSymId.sing
|
-rw-r--r-- | 268 | root |
root |
/usr/lib/Singular/examples/gencase1.sing
|
-rw-r--r-- | 91 | root |
root |
/usr/lib/Singular/examples/generalOrder.sing
|
-rw-r--r-- | 58 | root |
root |
/usr/lib/Singular/examples/generateG.sing
|
-rw-r--r-- | 117 | root |
root |
/usr/lib/Singular/examples/generatorsOfSpan.sing
|
-rw-r--r-- | 164 | root |
root |
/usr/lib/Singular/examples/genericid.sing
|
-rw-r--r-- | 457 | root |
root |
/usr/lib/Singular/examples/genericity.sing
|
-rw-r--r-- | 302 | root |
root |
/usr/lib/Singular/examples/genericmat.sing
|
-rw-r--r-- | 470 | root |
root |
/usr/lib/Singular/examples/genoutput.sing
|
-rw-r--r-- | 135 | root |
root |
/usr/lib/Singular/examples/genus.sing
|
-rw-r--r-- | 158 | root |
root |
/usr/lib/Singular/examples/getCone.sing
|
-rw-r--r-- | 928 | root |
root |
/usr/lib/Singular/examples/getGradingGroup.sing
|
-rw-r--r-- | 1049 | root |
root |
/usr/lib/Singular/examples/getLattice.sing
|
-rw-r--r-- | 454 | root |
root |
/usr/lib/Singular/examples/getModuleGrading.sing
|
-rw-r--r-- | 119 | root |
root |
/usr/lib/Singular/examples/getMultiplicity.sing
|
-rw-r--r-- | 130 | root |
root |
/usr/lib/Singular/examples/getOneVar.sing
|
-rw-r--r-- | 138 | root |
root |
/usr/lib/Singular/examples/getSmallest.sing
|
-rw-r--r-- | 971 | root |
root |
/usr/lib/Singular/examples/getVariableWeights.sing
|
-rw-r--r-- | 100 | root |
root |
/usr/lib/Singular/examples/getdump.sing
|
-rw-r--r-- | 219 | root |
root |
/usr/lib/Singular/examples/gmscoeffs.sing
|
-rw-r--r-- | 207 | root |
root |
/usr/lib/Singular/examples/gmsnf.sing
|
-rw-r--r-- | 179 | root |
root |
/usr/lib/Singular/examples/gmsring.sing
|
-rw-r--r-- | 139 | root |
root |
/usr/lib/Singular/examples/goodBasis.sing
|
-rw-r--r-- | 215 | root |
root |
/usr/lib/Singular/examples/gradiator.sing
|
-rw-r--r-- | 90 | root |
root |
/usr/lib/Singular/examples/graver4ti2.sing
|
-rw-r--r-- | 311 | root |
root |
/usr/lib/Singular/examples/grobcov.sing
|
-rw-r--r-- | 415 | root |
root |
/usr/lib/Singular/examples/groebner.sing
|
-rw-r--r-- | 375 | root |
root |
/usr/lib/Singular/examples/groebner_and_std.sing
|
-rw-r--r-- | 136 | root |
root |
/usr/lib/Singular/examples/group_reynolds.sing
|
-rw-r--r-- | 142 | root |
root |
/usr/lib/Singular/examples/gwalk.sing
|
-rw-r--r-- | 106 | root |
root |
/usr/lib/Singular/examples/headStand.sing
|
-rw-r--r-- | 286 | root |
root |
/usr/lib/Singular/examples/heightZ.sing
|
-rw-r--r-- | 350 | root |
root |
/usr/lib/Singular/examples/hermiteNormalForm.sing
|
-rw-r--r-- | 99 | root |
root |
/usr/lib/Singular/examples/hessenberg.sing
|
-rw-r--r-- | 85 | root |
root |
/usr/lib/Singular/examples/highcorner.sing
|
-rw-r--r-- | 135 | root |
root |
/usr/lib/Singular/examples/hilb.sing
|
-rw-r--r-- | 301 | root |
root |
/usr/lib/Singular/examples/hilbPoly.sing
|
-rw-r--r-- | 236 | root |
root |
/usr/lib/Singular/examples/hilbert4ti2.sing
|
-rw-r--r-- | 3736 | root |
root |
/usr/lib/Singular/examples/hilbertSeries.sing
|
-rw-r--r-- | 188 | root |
root |
/usr/lib/Singular/examples/hilbvec.sing
|
-rw-r--r-- | 678 | root |
root |
/usr/lib/Singular/examples/hnexpansion.sing
|
-rw-r--r-- | 242 | root |
root |
/usr/lib/Singular/examples/hom_kernel.sing
|
-rw-r--r-- | 194 | root |
root |
/usr/lib/Singular/examples/homog.sing
|
-rw-r--r-- | 538 | root |
root |
/usr/lib/Singular/examples/homogfacFirstQWeyl.sing
|
-rw-r--r-- | 542 | root |
root |
/usr/lib/Singular/examples/homogfacFirstQWeyl_all.sing
|
-rw-r--r-- | 394 | root |
root |
/usr/lib/Singular/examples/homology.sing
|
-rw-r--r-- | 138 | root |
root |
/usr/lib/Singular/examples/hres.sing
|
-rw-r--r-- | 112 | root |
root |
/usr/lib/Singular/examples/iMult.sing
|
-rw-r--r-- | 134 | root |
root |
/usr/lib/Singular/examples/id2mod.sing
|
-rw-r--r-- | 149 | root |
root |
/usr/lib/Singular/examples/idealSplit.sing
|
-rw-r--r-- | 137 | root |
root |
/usr/lib/Singular/examples/ideal_declarations.sing
|
-rw-r--r-- | 187 | root |
root |
/usr/lib/Singular/examples/ideal_declarations_BR_PLURAL_BR.sing
|
-rw-r--r-- | 326 | root |
root |
/usr/lib/Singular/examples/ideal_expressions.sing
|
-rw-r--r-- | 324 | root |
root |
/usr/lib/Singular/examples/ideal_expressions_BR_PLURAL_BR.sing
|
-rw-r--r-- | 261 | root |
root |
/usr/lib/Singular/examples/ideal_operations.sing
|
-rw-r--r-- | 339 | root |
root |
/usr/lib/Singular/examples/ideal_operations_BR_PLURAL_BR.sing
|
-rw-r--r-- | 87 | root |
root |
/usr/lib/Singular/examples/idealsimplify.sing
|
-rw-r--r-- | 88 | root |
root |
/usr/lib/Singular/examples/identifyvar.sing
|
-rw-r--r-- | 164 | root |
root |
/usr/lib/Singular/examples/imageLattice.sing
|
-rw-r--r-- | 116 | root |
root |
/usr/lib/Singular/examples/image_of_variety.sing
|
-rw-r--r-- | 182 | root |
root |
/usr/lib/Singular/examples/imap.sing
|
-rw-r--r-- | 911 | root |
root |
/usr/lib/Singular/examples/imap_BR_PLURAL_BR.sing
|
-rw-r--r-- | 503 | root |
root |
/usr/lib/Singular/examples/imapall.sing
|
-rw-r--r-- | 44 | root |
root |
/usr/lib/Singular/examples/impart.sing
|
-rw-r--r-- | 86 | root |
root |
/usr/lib/Singular/examples/importfrom.sing
|
-rw-r--r-- | 283 | root |
root |
/usr/lib/Singular/examples/inCenter.sing
|
-rw-r--r-- | 417 | root |
root |
/usr/lib/Singular/examples/inCentralizer.sing
|
-rw-r--r-- | 265 | root |
root |
/usr/lib/Singular/examples/inForm.sing
|
-rw-r--r-- | 151 | root |
root |
/usr/lib/Singular/examples/inSubring.sing
|
-rw-r--r-- | 123 | root |
root |
/usr/lib/Singular/examples/indSet.sing
|
-rw-r--r-- | 167 | root |
root |
/usr/lib/Singular/examples/indepSet.sing
|
-rw-r--r-- | 186 | root |
root |
/usr/lib/Singular/examples/inequalities.sing
|
-rw-r--r-- | 32 | root |
root |
/usr/lib/Singular/examples/iniD.sing
|
-rw-r--r-- | 206 | root |
root |
/usr/lib/Singular/examples/init_debug.sing
|
-rw-r--r-- | 261 | root |
root |
/usr/lib/Singular/examples/initialIdealW.sing
|
-rw-r--r-- | 189 | root |
root |
/usr/lib/Singular/examples/initialMalgrange.sing
|
-rw-r--r-- | 46 | root |
root |
/usr/lib/Singular/examples/insert.sing
|
-rw-r--r-- | 104 | root |
root |
/usr/lib/Singular/examples/insertCone.sing
|
-rw-r--r-- | 194 | root |
root |
/usr/lib/Singular/examples/insertGenerator.sing
|
-rw-r--r-- | 264 | root |
root |
/usr/lib/Singular/examples/intInverse.sing
|
-rw-r--r-- | 49 | root |
root |
/usr/lib/Singular/examples/intPart.sing
|
-rw-r--r-- | 241 | root |
root |
/usr/lib/Singular/examples/intRank.sing
|
-rw-r--r-- | 48 | root |
root |
/usr/lib/Singular/examples/intRoot.sing
|
-rw-r--r-- | 95 | root |
root |
/usr/lib/Singular/examples/intRoots.sing
|
-rw-r--r-- | 108 | root |
root |
/usr/lib/Singular/examples/int_declarations.sing
|
-rw-r--r-- | 897 | root |
root |
/usr/lib/Singular/examples/int_expressions.sing
|
-rw-r--r-- | 235 | root |
root |
/usr/lib/Singular/examples/int_operations.sing
|
-rw-r--r-- | 192 | root |
root |
/usr/lib/Singular/examples/intclMonIdeal.sing
|
-rw-r--r-- | 80 | root |
root |
/usr/lib/Singular/examples/intclToricRing.sing
|
-rw-r--r-- | 291 | root |
root |
/usr/lib/Singular/examples/integralBasis.sing
|
-rw-r--r-- | 188 | root |
root |
/usr/lib/Singular/examples/integralIdeal.sing
|
-rw-r--r-- | 194 | root |
root |
/usr/lib/Singular/examples/integralModule.sing
|
-rw-r--r-- | 206 | root |
root |
/usr/lib/Singular/examples/integralSection.sing
|
-rw-r--r-- | 41 | root |
root |
/usr/lib/Singular/examples/internalfunctions.sing
|
-rw-r--r-- | 186 | root |
root |
/usr/lib/Singular/examples/interpolate.sing
|
-rw-r--r-- | 577 | root |
root |
/usr/lib/Singular/examples/interpolation.sing
|
-rw-r--r-- | 130 | root |
root |
/usr/lib/Singular/examples/interred.sing
|
-rw-r--r-- | 204 | root |
root |
/usr/lib/Singular/examples/intersect.sing
|
-rw-r--r-- | 441 | root |
root |
/usr/lib/Singular/examples/intersectLattices.sing
|
-rw-r--r-- | 165 | root |
root |
/usr/lib/Singular/examples/intersectMon.sing
|
-rw-r--r-- | 289 | root |
root |
/usr/lib/Singular/examples/intersectZ.sing
|
-rw-r--r-- | 384 | root |
root |
/usr/lib/Singular/examples/intersect_BR_PLURAL_BR.sing
|
-rw-r--r-- | 107 | root |
root |
/usr/lib/Singular/examples/intersection.sing
|
-rw-r--r-- | 145 | root |
root |
/usr/lib/Singular/examples/intersectionDiv.sing
|
-rw-r--r-- | 111 | root |
root |
/usr/lib/Singular/examples/intersectionValRingIdeals.sing
|
-rw-r--r-- | 104 | root |
root |
/usr/lib/Singular/examples/intersectionValRings.sing
|
-rw-r--r-- | 111 | root |
root |
/usr/lib/Singular/examples/intmat2mons.sing
|
-rw-r--r-- | 123 | root |
root |
/usr/lib/Singular/examples/intmat_declarations.sing
|
-rw-r--r-- | 288 | root |
root |
/usr/lib/Singular/examples/intmat_expressions.sing
|
-rw-r--r-- | 495 | root |
root |
/usr/lib/Singular/examples/intmat_operations.sing
|
-rw-r--r-- | 200 | root |
root |
/usr/lib/Singular/examples/intmat_type_cast.sing
|
-rw-r--r-- | 58 | root |
root |
/usr/lib/Singular/examples/intvec_declarations.sing
|
-rw-r--r-- | 302 | root |
root |
/usr/lib/Singular/examples/intvec_expressions.sing
|
-rw-r--r-- | 337 | root |
root |
/usr/lib/Singular/examples/intvec_operations.sing
|
-rw-r--r-- | 549 | root |
root |
/usr/lib/Singular/examples/invariantRing.sing
|
-rw-r--r-- | 127 | root |
root |
/usr/lib/Singular/examples/invariant_algebra_perm.sing
|
-rw-r--r-- | 171 | root |
root |
/usr/lib/Singular/examples/invariant_algebra_reynolds.sing
|
-rw-r--r-- | 104 | root |
root |
/usr/lib/Singular/examples/invariant_basis.sing
|
-rw-r--r-- | 191 | root |
root |
/usr/lib/Singular/examples/invariant_basis_reynolds.sing
|
-rw-r--r-- | 139 | root |
root |
/usr/lib/Singular/examples/invariant_ring.sing
|
-rw-r--r-- | 148 | root |
root |
/usr/lib/Singular/examples/invariant_ring_random.sing
|
-rw-r--r-- | 915 | root |
root |
/usr/lib/Singular/examples/invariants.sing
|
-rw-r--r-- | 210 | root |
root |
/usr/lib/Singular/examples/inverse.sing
|
-rw-r--r-- | 174 | root |
root |
/usr/lib/Singular/examples/inverseFourier.sing
|
-rw-r--r-- | 152 | root |
root |
/usr/lib/Singular/examples/inverse_B.sing
|
-rw-r--r-- | 152 | root |
root |
/usr/lib/Singular/examples/inverse_L.sing
|
-rw-r--r-- | 163 | root |
root |
/usr/lib/Singular/examples/invertBirMap.sing
|
-rw-r--r-- | 493 | root |
root |
/usr/lib/Singular/examples/involution.sing
|
-rw-r--r-- | 61 | root |
root |
/usr/lib/Singular/examples/invunit.sing
|
-rw-r--r-- | 455 | root |
root |
/usr/lib/Singular/examples/iostruct.sing
|
-rw-r--r-- | 309 | root |
root |
/usr/lib/Singular/examples/irrRealizationDim.sing
|
-rw-r--r-- | 322 | root |
root |
/usr/lib/Singular/examples/irred_secondary_char0.sing
|
-rw-r--r-- | 265 | root |
root |
/usr/lib/Singular/examples/irred_secondary_no_molien.sing
|
-rw-r--r-- | 261 | root |
root |
/usr/lib/Singular/examples/irreddecMon.sing
|
-rw-r--r-- | 234 | root |
root |
/usr/lib/Singular/examples/isAntiEndo.sing
|
-rw-r--r-- | 217 | root |
root |
/usr/lib/Singular/examples/isCI.sing
|
-rw-r--r-- | 230 | root |
root |
/usr/lib/Singular/examples/isCM.sing
|
-rw-r--r-- | 87 | root |
root |
/usr/lib/Singular/examples/isCMcod2.sing
|
-rw-r--r-- | 353 | root |
root |
/usr/lib/Singular/examples/isCartan.sing
|
-rw-r--r-- | 250 | root |
root |
/usr/lib/Singular/examples/isCentral.sing
|
-rw-r--r-- | 165 | root |
root |
/usr/lib/Singular/examples/isCommutative.sing
|
-rw-r--r-- | 293 | root |
root |
/usr/lib/Singular/examples/isCompatible.sing
|
-rw-r--r-- | 330 | root |
root |
/usr/lib/Singular/examples/isEquising.sing
|
-rw-r--r-- | 431 | root |
root |
/usr/lib/Singular/examples/isFlat.sing
|
-rw-r--r-- | 148 | root |
root |
/usr/lib/Singular/examples/isFsat.sing
|
-rw-r--r-- | 180 | root |
root |
/usr/lib/Singular/examples/isFullSpace.sing
|
-rw-r--r-- | 922 | root |
root |
/usr/lib/Singular/examples/isGradedRingHomomorphism.sing
|
-rw-r--r-- | 168 | root |
root |
/usr/lib/Singular/examples/isGroup.sing
|
-rw-r--r-- | 305 | root |
root |
/usr/lib/Singular/examples/isGroupHomomorphism.sing
|
-rw-r--r-- | 152 | root |
root |
/usr/lib/Singular/examples/isHolonomic.sing
|
-rw-r--r-- | 2054 | root |
root |
/usr/lib/Singular/examples/isHomogeneous.sing
|
-rw-r--r-- | 80 | root |
root |
/usr/lib/Singular/examples/isInt.sing
|
-rw-r--r-- | 238 | root |
root |
/usr/lib/Singular/examples/isIntegralSurjective.sing
|
-rw-r--r-- | 240 | root |
root |
/usr/lib/Singular/examples/isInvolution.sing
|
-rw-r--r-- | 289 | root |
root |
/usr/lib/Singular/examples/isLocallyFree.sing
|
-rw-r--r-- | 345 | root |
root |
/usr/lib/Singular/examples/isMonomial.sing
|
-rw-r--r-- | 109 | root |
root |
/usr/lib/Singular/examples/isNC.sing
|
-rw-r--r-- | 71 | root |
root |
/usr/lib/Singular/examples/isOnCurve.sing
|
-rw-r--r-- | 218 | root |
root |
/usr/lib/Singular/examples/isOrigin.sing
|
-rw-r--r-- | 179 | root |
root |
/usr/lib/Singular/examples/isPositive.sing
|
-rw-r--r-- | 237 | root |
root |
/usr/lib/Singular/examples/isPrimitiveSublattice.sing
|
-rw-r--r-- | 213 | root |
root |
/usr/lib/Singular/examples/isPure.sing
|
-rw-r--r-- | 117 | root |
root |
/usr/lib/Singular/examples/isRational.sing
|
-rw-r--r-- | 341 | root |
root |
/usr/lib/Singular/examples/isReg.sing
|
-rw-r--r-- | 445 | root |
root |
/usr/lib/Singular/examples/isSimplicial.sing
|
-rw-r--r-- | 216 | root |
root |
/usr/lib/Singular/examples/isSublattice.sing
|
-rw-r--r-- | 150 | root |
root |
/usr/lib/Singular/examples/isSymmetric.sing
|
-rw-r--r-- | 71 | root |
root |
/usr/lib/Singular/examples/isTame.sing
|
-rw-r--r-- | 443 | root |
root |
/usr/lib/Singular/examples/isTorsionFree.sing
|
-rw-r--r-- | 136 | root |
root |
/usr/lib/Singular/examples/isVar.sing
|
-rw-r--r-- | 236 | root |
root |
/usr/lib/Singular/examples/isWeyl.sing
|
-rw-r--r-- | 578 | root |
root |
/usr/lib/Singular/examples/isZeroElement.sing
|
-rw-r--r-- | 266 | root |
root |
/usr/lib/Singular/examples/is_NND.sing
|
-rw-r--r-- | 235 | root |
root |
/usr/lib/Singular/examples/is_NP.sing
|
-rw-r--r-- | 180 | root |
root |
/usr/lib/Singular/examples/is_active.sing
|
-rw-r--r-- | 534 | root |
root |
/usr/lib/Singular/examples/is_bijective.sing
|
-rw-r--r-- | 218 | root |
root |
/usr/lib/Singular/examples/is_ci.sing
|
-rw-r--r-- | 154 | root |
root |
/usr/lib/Singular/examples/is_complex.sing
|
-rw-r--r-- | 424 | root |
root |
/usr/lib/Singular/examples/is_injective.sing
|
-rw-r--r-- | 97 | root |
root |
/usr/lib/Singular/examples/is_irred.sing
|
-rw-r--r-- | 183 | root |
root |
/usr/lib/Singular/examples/is_is.sing
|
-rw-r--r-- | 213 | root |
root |
/usr/lib/Singular/examples/is_nested.sing
|
-rw-r--r-- | 131 | root |
root |
/usr/lib/Singular/examples/is_reg.sing
|
-rw-r--r-- | 206 | root |
root |
/usr/lib/Singular/examples/is_regs.sing
|
-rw-r--r-- | 416 | root |
root |
/usr/lib/Singular/examples/is_surjective.sing
|
-rw-r--r-- | 131 | root |
root |
/usr/lib/Singular/examples/is_zero.sing
|
-rw-r--r-- | 216 | root |
root |
/usr/lib/Singular/examples/isartinianMon.sing
|
-rw-r--r-- | 204 | root |
root |
/usr/lib/Singular/examples/isgenericMon.sing
|
-rw-r--r-- | 118 | root |
root |
/usr/lib/Singular/examples/ishyper.sing
|
-rw-r--r-- | 152 | root |
root |
/usr/lib/Singular/examples/isirreducibleMon.sing
|
-rw-r--r-- | 134 | root |
root |
/usr/lib/Singular/examples/isoncurve.sing
|
-rw-r--r-- | 123 | root |
root |
/usr/lib/Singular/examples/isparam.sing
|
-rw-r--r-- | 174 | root |
root |
/usr/lib/Singular/examples/isprimaryMon.sing
|
-rw-r--r-- | 122 | root |
root |
/usr/lib/Singular/examples/isprimeMon.sing
|
-rw-r--r-- | 88 | root |
root |
/usr/lib/Singular/examples/isuni.sing
|
-rw-r--r-- | 353 | root |
root |
/usr/lib/Singular/examples/iv2lp.sing
|
-rw-r--r-- | 474 | root |
root |
/usr/lib/Singular/examples/iv2lpList.sing
|
-rw-r--r-- | 486 | root |
root |
/usr/lib/Singular/examples/iv2lpMat.sing
|
-rw-r--r-- | 616 | root |
root |
/usr/lib/Singular/examples/ivDHilbert.sing
|
-rw-r--r-- | 644 | root |
root |
/usr/lib/Singular/examples/ivDHilbertSickle.sing
|
-rw-r--r-- | 667 | root |
root |
/usr/lib/Singular/examples/ivDimCheck.sing
|
-rw-r--r-- | 633 | root |
root |
/usr/lib/Singular/examples/ivHilbert.sing
|
-rw-r--r-- | 627 | root |
root |
/usr/lib/Singular/examples/ivKDim.sing
|
-rw-r--r-- | 350 | root |
root |
/usr/lib/Singular/examples/ivL2lpI.sing
|
-rw-r--r-- | 343 | root |
root |
/usr/lib/Singular/examples/ivMis2Base.sing
|
-rw-r--r-- | 346 | root |
root |
/usr/lib/Singular/examples/ivMis2Dim.sing
|
-rw-r--r-- | 353 | root |
root |
/usr/lib/Singular/examples/ivOrdMisLex.sing
|
-rw-r--r-- | 629 | root |
root |
/usr/lib/Singular/examples/ivSickle.sing
|
-rw-r--r-- | 634 | root |
root |
/usr/lib/Singular/examples/ivSickleDim.sing
|
-rw-r--r-- | 630 | root |
root |
/usr/lib/Singular/examples/ivSickleHil.sing
|
-rw-r--r-- | 90 | root |
root |
/usr/lib/Singular/examples/jOft.sing
|
-rw-r--r-- | 120 | root |
root |
/usr/lib/Singular/examples/jacob.sing
|
-rw-r--r-- | 72 | root |
root |
/usr/lib/Singular/examples/jacoblift.sing
|
-rw-r--r-- | 633 | root |
root |
/usr/lib/Singular/examples/jacobson.sing
|
-rw-r--r-- | 84 | root |
root |
/usr/lib/Singular/examples/janet.sing
|
-rw-r--r-- | 583 | root |
root |
/usr/lib/Singular/examples/jet.sing
|
-rw-r--r-- | 88 | root |
root |
/usr/lib/Singular/examples/jordan.sing
|
-rw-r--r-- | 155 | root |
root |
/usr/lib/Singular/examples/jordanbasis.sing
|
-rw-r--r-- | 115 | root |
root |
/usr/lib/Singular/examples/jordanmatrix.sing
|
-rw-r--r-- | 97 | root |
root |
/usr/lib/Singular/examples/jordannf.sing
|
-rw-r--r-- | 268 | root |
root |
/usr/lib/Singular/examples/jungfib.sing
|
-rw-r--r-- | 271 | root |
root |
/usr/lib/Singular/examples/jungnormal.sing
|
-rw-r--r-- | 272 | root |
root |
/usr/lib/Singular/examples/jungresolve.sing
|
-rw-r--r-- | 67 | root |
root |
/usr/lib/Singular/examples/katsura.sing
|
-rw-r--r-- | 133 | root |
root |
/usr/lib/Singular/examples/kbase.sing
|
-rw-r--r-- | 276 | root |
root |
/usr/lib/Singular/examples/kbase_BR_PLURAL_BR.sing
|
-rw-r--r-- | 138 | root |
root |
/usr/lib/Singular/examples/kernel.sing
|
-rw-r--r-- | 407 | root |
root |
/usr/lib/Singular/examples/kernelLattice.sing
|
-rw-r--r-- | 127 | root |
root |
/usr/lib/Singular/examples/kill.sing
|
-rw-r--r-- | 375 | root |
root |
/usr/lib/Singular/examples/killall.sing
|
-rw-r--r-- | 120 | root |
root |
/usr/lib/Singular/examples/killattrib.sing
|
-rw-r--r-- | 44 | root |
root |
/usr/lib/Singular/examples/kmemory.sing
|
-rw-r--r-- | 76 | root |
root |
/usr/lib/Singular/examples/kohom.sing
|
-rw-r--r-- | 80 | root |
root |
/usr/lib/Singular/examples/kontrahom.sing
|
-rw-r--r-- | 172 | root |
root |
/usr/lib/Singular/examples/koszul.sing
|
-rw-r--r-- | 61 | root |
root |
/usr/lib/Singular/examples/laguerre.sing
|
-rw-r--r-- | 581 | root |
root |
/usr/lib/Singular/examples/laguerre_solve.sing
|
-rw-r--r-- | 76 | root |
root |
/usr/lib/Singular/examples/lastvarGeneral.sing
|
-rw-r--r-- | 386 | root |
root |
/usr/lib/Singular/examples/latticeBasis.sing
|
-rw-r--r-- | 108 | root |
root |
/usr/lib/Singular/examples/laxfrT.sing
|
-rw-r--r-- | 108 | root |
root |
/usr/lib/Singular/examples/laxfrX.sing
|
-rw-r--r-- | 147 | root |
root |
/usr/lib/Singular/examples/lcm.sing
|
-rw-r--r-- | 107 | root |
root |
/usr/lib/Singular/examples/lcmMon.sing
|
-rw-r--r-- | 48 | root |
root |
/usr/lib/Singular/examples/lcmN.sing
|
-rw-r--r-- | 194 | root |
root |
/usr/lib/Singular/examples/lcmofall.sing
|
-rw-r--r-- | 167 | root |
root |
/usr/lib/Singular/examples/lead.sing
|
-rw-r--r-- | 117 | root |
root |
/usr/lib/Singular/examples/leadcoef.sing
|
-rw-r--r-- | 114 | root |
root |
/usr/lib/Singular/examples/leadexp.sing
|
-rw-r--r-- | 123 | root |
root |
/usr/lib/Singular/examples/leadmonom.sing
|
-rw-r--r-- | 110 | root |
root |
/usr/lib/Singular/examples/leadmonomial.sing
|
-rw-r--r-- | 400 | root |
root |
/usr/lib/Singular/examples/leftInverse.sing
|
-rw-r--r-- | 133 | root |
root |
/usr/lib/Singular/examples/leftKernel.sing
|
-rw-r--r-- | 406 | root |
root |
/usr/lib/Singular/examples/letplaceGBasis.sing
|
-rw-r--r-- | 184 | root |
root |
/usr/lib/Singular/examples/lex_solve.sing
|
-rw-r--r-- | 243 | root |
root |
/usr/lib/Singular/examples/lieBracket.sing
|
-rw-r--r-- | 152 | root |
root |
/usr/lib/Singular/examples/lift.sing
|
-rw-r--r-- | 517 | root |
root |
/usr/lib/Singular/examples/lift_BR_PLURAL_BR.sing
|
-rw-r--r-- | 269 | root |
root |
/usr/lib/Singular/examples/lift_kbase.sing
|
-rw-r--r-- | 297 | root |
root |
/usr/lib/Singular/examples/lift_rel_kb.sing
|
-rw-r--r-- | 192 | root |
root |
/usr/lib/Singular/examples/liftstd.sing
|
-rw-r--r-- | 460 | root |
root |
/usr/lib/Singular/examples/liftstd_BR_PLURAL_BR.sing
|
-rw-r--r-- | 360 | root |
root |
/usr/lib/Singular/examples/linReduce.sing
|
-rw-r--r-- | 271 | root |
root |
/usr/lib/Singular/examples/linReduceIdeal.sing
|
-rw-r--r-- | 97 | root |
root |
/usr/lib/Singular/examples/linSyzSolve.sing
|
-rw-r--r-- | 186 | root |
root |
/usr/lib/Singular/examples/linealityDimension.sing
|
-rw-r--r-- | 202 | root |
root |
/usr/lib/Singular/examples/linealitySpace.sing
|
-rw-r--r-- | 714 | root |
root |
/usr/lib/Singular/examples/linearCombinations.sing
|
-rw-r--r-- | 126 | root |
root |
/usr/lib/Singular/examples/linearForms.sing
|
-rw-r--r-- | 828 | root |
root |
/usr/lib/Singular/examples/linearMapKernel.sing
|
-rw-r--r-- | 183 | root |
root |
/usr/lib/Singular/examples/linear_relations.sing
|
-rw-r--r-- | 150 | root |
root |
/usr/lib/Singular/examples/linearpart.sing
|
-rw-r--r-- | 181 | root |
root |
/usr/lib/Singular/examples/link_declarations.sing
|
-rw-r--r-- | 113 | root |
root |
/usr/lib/Singular/examples/linspace.sing
|
-rw-r--r-- | 161 | root |
root |
/usr/lib/Singular/examples/list_declarations.sing
|
-rw-r--r-- | 101 | root |
root |
/usr/lib/Singular/examples/list_expressions.sing
|
-rw-r--r-- | 145 | root |
root |
/usr/lib/Singular/examples/list_operations.sing
|
-rw-r--r-- | 197 | root |
root |
/usr/lib/Singular/examples/listvar.sing
|
-rw-r--r-- | 288 | root |
root |
/usr/lib/Singular/examples/lll.sing
|
-rw-r--r-- | 253 | root |
root |
/usr/lib/Singular/examples/load.sing
|
-rw-r--r-- | 198 | root |
root |
/usr/lib/Singular/examples/load_1.sing
|
-rw-r--r-- | 150 | root |
root |
/usr/lib/Singular/examples/locAtZero.sing
|
-rw-r--r-- | 246 | root |
root |
/usr/lib/Singular/examples/locNormal.sing
|
-rw-r--r-- | 108 | root |
root |
/usr/lib/Singular/examples/localInvar.sing
|
-rw-r--r-- | 92 | root |
root |
/usr/lib/Singular/examples/localstd.sing
|
-rw-r--r-- | 86 | root |
root |
/usr/lib/Singular/examples/locstd.sing
|
-rw-r--r-- | 47 | root |
root |
/usr/lib/Singular/examples/log2.sing
|
-rw-r--r-- | 360 | root |
root |
/usr/lib/Singular/examples/lp2iv.sing
|
-rw-r--r-- | 445 | root |
root |
/usr/lib/Singular/examples/lp2ivId.sing
|
-rw-r--r-- | 202 | root |
root |
/usr/lib/Singular/examples/lp2lstr.sing
|
-rw-r--r-- | 535 | root |
root |
/usr/lib/Singular/examples/lpDHilbert.sing
|
-rw-r--r-- | 552 | root |
root |
/usr/lib/Singular/examples/lpDHilbertSickle.sing
|
-rw-r--r-- | 443 | root |
root |
/usr/lib/Singular/examples/lpDimCheck.sing
|
-rw-r--r-- | 534 | root |
root |
/usr/lib/Singular/examples/lpHilbert.sing
|
-rw-r--r-- | 259 | root |
root |
/usr/lib/Singular/examples/lpId2ivLi.sing
|
-rw-r--r-- | 442 | root |
root |
/usr/lib/Singular/examples/lpKDim.sing
|
-rw-r--r-- | 283 | root |
root |
/usr/lib/Singular/examples/lpMis2Base.sing
|
-rw-r--r-- | 286 | root |
root |
/usr/lib/Singular/examples/lpMis2Dim.sing
|
-rw-r--r-- | 288 | root |
root |
/usr/lib/Singular/examples/lpMult.sing
|
-rw-r--r-- | 507 | root |
root |
/usr/lib/Singular/examples/lpNF.sing
|
-rw-r--r-- | 302 | root |
root |
/usr/lib/Singular/examples/lpOrdMisLex.sing
|
-rw-r--r-- | 289 | root |
root |
/usr/lib/Singular/examples/lpPower.sing
|
-rw-r--r-- | 452 | root |
root |
/usr/lib/Singular/examples/lpSickle.sing
|
-rw-r--r-- | 459 | root |
root |
/usr/lib/Singular/examples/lpSickleDim.sing
|
-rw-r--r-- | 459 | root |
root |
/usr/lib/Singular/examples/lpSickleHil.sing
|
-rw-r--r-- | 310 | root |
root |
/usr/lib/Singular/examples/lprint.sing
|
-rw-r--r-- | 138 | root |
root |
/usr/lib/Singular/examples/lres.sing
|
-rw-r--r-- | 198 | root |
root |
/usr/lib/Singular/examples/lst2str.sing
|
-rw-r--r-- | 223 | root |
root |
/usr/lib/Singular/examples/ludecomp.sing
|
-rw-r--r-- | 194 | root |
root |
/usr/lib/Singular/examples/luinverse.sing
|
-rw-r--r-- | 543 | root |
root |
/usr/lib/Singular/examples/lusolve.sing
|
-rw-r--r-- | 117 | root |
root |
/usr/lib/Singular/examples/magnitude.sing
|
-rw-r--r-- | 113 | root |
root |
/usr/lib/Singular/examples/makeHeisenberg.sing
|
-rw-r--r-- | 300 | root |
root |
/usr/lib/Singular/examples/makeLetterplaceRing.sing
|
-rw-r--r-- | 108 | root |
root |
/usr/lib/Singular/examples/makeMalgrange.sing
|
-rw-r--r-- | 282 | root |
root |
/usr/lib/Singular/examples/makeModElimRing.sing
|
-rw-r--r-- | 86 | root |
root |
/usr/lib/Singular/examples/makeQsl2.sing
|
-rw-r--r-- | 78 | root |
root |
/usr/lib/Singular/examples/makeQsl3.sing
|
-rw-r--r-- | 52 | root |
root |
/usr/lib/Singular/examples/makeQso3.sing
|
-rw-r--r-- | 113 | root |
root |
/usr/lib/Singular/examples/makeUe6.sing
|
-rw-r--r-- | 113 | root |
root |
/usr/lib/Singular/examples/makeUe7.sing
|
-rw-r--r-- | 113 | root |
root |
/usr/lib/Singular/examples/makeUe8.sing
|
-rw-r--r-- | 112 | root |
root |
/usr/lib/Singular/examples/makeUf4.sing
|
-rw-r--r-- | 87 | root |
root |
/usr/lib/Singular/examples/makeUg2.sing
|
-rw-r--r-- | 49 | root |
root |
/usr/lib/Singular/examples/makeUgl.sing
|
-rw-r--r-- | 49 | root |
root |
/usr/lib/Singular/examples/makeUsl.sing
|
-rw-r--r-- | 49 | root |
root |
/usr/lib/Singular/examples/makeUsl2.sing
|
-rw-r--r-- | 114 | root |
root |
/usr/lib/Singular/examples/makeUso10.sing
|
-rw-r--r-- | 114 | root |
root |
/usr/lib/Singular/examples/makeUso11.sing
|
-rw-r--r-- | 114 | root |
root |
/usr/lib/Singular/examples/makeUso12.sing
|
-rw-r--r-- | 112 | root |
root |
/usr/lib/Singular/examples/makeUso5.sing
|
-rw-r--r-- | 112 | root |
root |
/usr/lib/Singular/examples/makeUso6.sing
|
-rw-r--r-- | 113 | root |
root |
/usr/lib/Singular/examples/makeUso7.sing
|
-rw-r--r-- | 113 | root |
root |
/usr/lib/Singular/examples/makeUso8.sing
|
-rw-r--r-- | 113 | root |
root |
/usr/lib/Singular/examples/makeUso9.sing
|
-rw-r--r-- | 75 | root |
root |
/usr/lib/Singular/examples/makeUsp1.sing
|
-rw-r--r-- | 75 | root |
root |
/usr/lib/Singular/examples/makeUsp2.sing
|
-rw-r--r-- | 113 | root |
root |
/usr/lib/Singular/examples/makeUsp3.sing
|
-rw-r--r-- | 113 | root |
root |
/usr/lib/Singular/examples/makeUsp4.sing
|
-rw-r--r-- | 113 | root |
root |
/usr/lib/Singular/examples/makeUsp5.sing
|
-rw-r--r-- | 54 | root |
root |
/usr/lib/Singular/examples/makeWeyl.sing
|
-rw-r--r-- | 132 | root |
root |
/usr/lib/Singular/examples/mapIsFinite.sing
|
-rw-r--r-- | 158 | root |
root |
/usr/lib/Singular/examples/mapToRatNormCurve.sing
|
-rw-r--r-- | 240 | root |
root |
/usr/lib/Singular/examples/map_BR_PLURAL_BR_operations.sing
|
-rw-r--r-- | 437 | root |
root |
/usr/lib/Singular/examples/map_declarations.sing
|
-rw-r--r-- | 648 | root |
root |
/usr/lib/Singular/examples/map_declarations_BR_PLURAL_BR.sing
|
-rw-r--r-- | 184 | root |
root |
/usr/lib/Singular/examples/map_operations.sing
|
-rw-r--r-- | 760 | root |
root |
/usr/lib/Singular/examples/mapall.sing
|
-rw-r--r-- | 123 | root |
root |
/usr/lib/Singular/examples/markov4ti2.sing
|
-rw-r--r-- | 98 | root |
root |
/usr/lib/Singular/examples/mat_rk.sing
|
-rw-r--r-- | 160 | root |
root |
/usr/lib/Singular/examples/matbil.sing
|
-rw-r--r-- | 161 | root |
root |
/usr/lib/Singular/examples/matmult.sing
|
-rw-r--r-- | 137 | root |
root |
/usr/lib/Singular/examples/matrixT1.sing
|
-rw-r--r-- | 336 | root |
root |
/usr/lib/Singular/examples/matrix_declarations.sing
|
-rw-r--r-- | 203 | root |
root |
/usr/lib/Singular/examples/matrix_expressions.sing
|
-rw-r--r-- | 613 | root |
root |
/usr/lib/Singular/examples/matrix_operations.sing
|
-rw-r--r-- | 138 | root |
root |
/usr/lib/Singular/examples/matrix_type_cast.sing
|
-rw-r--r-- | 204 | root |
root |
/usr/lib/Singular/examples/matrixsystem.sing
|
-rw-r--r-- | 271 | root |
root |
/usr/lib/Singular/examples/maxEord.sing
|
-rw-r--r-- | 75 | root |
root |
/usr/lib/Singular/examples/maxabs.sing
|
-rw-r--r-- | 148 | root |
root |
/usr/lib/Singular/examples/maxcoef.sing
|
-rw-r--r-- | 189 | root |
root |
/usr/lib/Singular/examples/maxdeg.sing
|
-rw-r--r-- | 339 | root |
root |
/usr/lib/Singular/examples/maxdeg1.sing
|
-rw-r--r-- | 42 | root |
root |
/usr/lib/Singular/examples/maxideal.sing
|
-rw-r--r-- | 96 | root |
root |
/usr/lib/Singular/examples/maximum.sing
|
-rw-r--r-- | 348 | root |
root |
/usr/lib/Singular/examples/mcgs.sing
|
-rw-r--r-- | 45 | root |
root |
/usr/lib/Singular/examples/mdouble.sing
|
-rw-r--r-- | 255 | root |
root |
/usr/lib/Singular/examples/membershipMon.sing
|
-rw-r--r-- | 554 | root |
root |
/usr/lib/Singular/examples/memory.sing
|
-rw-r--r-- | 127 | root |
root |
/usr/lib/Singular/examples/midpoint.sing
|
-rw-r--r-- | 203 | root |
root |
/usr/lib/Singular/examples/milnor.sing
|
-rw-r--r-- | 147 | root |
root |
/usr/lib/Singular/examples/milnorcode.sing
|
-rw-r--r-- | 80 | root |
root |
/usr/lib/Singular/examples/milnornumber.sing
|
-rw-r--r-- | 126 | root |
root |
/usr/lib/Singular/examples/minAssChar.sing
|
-rw-r--r-- | 125 | root |
root |
/usr/lib/Singular/examples/minAssGTZ.sing
|
-rw-r--r-- | 405 | root |
root |
/usr/lib/Singular/examples/minAssZ.sing
|
-rw-r--r-- | 246 | root |
root |
/usr/lib/Singular/examples/minEcart.sing
|
-rw-r--r-- | 570 | root |
root |
/usr/lib/Singular/examples/minIntRoot.sing
|
-rw-r--r-- | 98 | root |
root |
/usr/lib/Singular/examples/minMult.sing
|
-rw-r--r-- | 122 | root |
root |
/usr/lib/Singular/examples/minbase.sing
|
-rw-r--r-- | 186 | root |
root |
/usr/lib/Singular/examples/minbaseMon.sing
|
-rw-r--r-- | 273 | root |
root |
/usr/lib/Singular/examples/mindeg.sing
|
-rw-r--r-- | 312 | root |
root |
/usr/lib/Singular/examples/mindeg1.sing
|
-rw-r--r-- | 235 | root |
root |
/usr/lib/Singular/examples/mindist.sing
|
-rw-r--r-- | 90 | root |
root |
/usr/lib/Singular/examples/minipoly.sing
|
-rw-r--r-- | 496 | root |
root |
/usr/lib/Singular/examples/minor.sing
|
-rw-r--r-- | 112 | root |
root |
/usr/lib/Singular/examples/minpoly.sing
|
-rw-r--r-- | 129 | root |
root |
/usr/lib/Singular/examples/minres.sing
|
-rw-r--r-- | 248 | root |
root |
/usr/lib/Singular/examples/minres_BR_PLURAL_BR.sing
|
-rw-r--r-- | 117 | root |
root |
/usr/lib/Singular/examples/mod2id.sing
|
-rw-r--r-- | 120 | root |
root |
/usr/lib/Singular/examples/mod2str.sing
|
-rw-r--r-- | 111 | root |
root |
/usr/lib/Singular/examples/modDec.sing
|
-rw-r--r-- | 110 | root |
root |
/usr/lib/Singular/examples/modHenselStd.sing
|
-rw-r--r-- | 265 | root |
root |
/usr/lib/Singular/examples/modNormal.sing
|
-rw-r--r-- | 152 | root |
root |
/usr/lib/Singular/examples/modS.sing
|
-rw-r--r-- | 365 | root |
root |
/usr/lib/Singular/examples/modStd.sing
|
-rw-r--r-- | 267 | root |
root |
/usr/lib/Singular/examples/mod_versal.sing
|
-rw-r--r-- | 99 | root |
root |
/usr/lib/Singular/examples/modality.sing
|
-rw-r--r-- | 397 | root |
root |
/usr/lib/Singular/examples/module_containment.sing
|
-rw-r--r-- | 223 | root |
root |
/usr/lib/Singular/examples/module_declarations.sing
|
-rw-r--r-- | 317 | root |
root |
/usr/lib/Singular/examples/module_declarations_BR_PLURAL_BR.sing
|
-rw-r--r-- | 116 | root |
root |
/usr/lib/Singular/examples/module_operations.sing
|
-rw-r--r-- | 244 | root |
root |
/usr/lib/Singular/examples/module_operations_BR_PLURAL_BR.sing
|
-rw-r--r-- | 80 | root |
root |
/usr/lib/Singular/examples/modulo.sing
|
-rw-r--r-- | 617 | root |
root |
/usr/lib/Singular/examples/moduloSlim.sing
|
-rw-r--r-- | 277 | root |
root |
/usr/lib/Singular/examples/modulo_BR_PLURAL_BR.sing
|
-rw-r--r-- | 407 | root |
root |
/usr/lib/Singular/examples/molien.sing
|
-rw-r--r-- | 71 | root |
root |
/usr/lib/Singular/examples/monodromy.sing
|
-rw-r--r-- | 92 | root |
root |
/usr/lib/Singular/examples/monodromyB.sing
|
-rw-r--r-- | 115 | root |
root |
/usr/lib/Singular/examples/monomial.sing
|
-rw-r--r-- | 122 | root |
root |
/usr/lib/Singular/examples/monomialLcm.sing
|
-rw-r--r-- | 78 | root |
root |
/usr/lib/Singular/examples/mons2intmat.sing
|
-rw-r--r-- | 131 | root |
root |
/usr/lib/Singular/examples/morsesplit.sing
|
-rw-r--r-- | 716 | root |
root |
/usr/lib/Singular/examples/mp_res_mat.sing
|
-rw-r--r-- | 110 | root |
root |
/usr/lib/Singular/examples/mpresmat.sing
|
-rw-r--r-- | 180 | root |
root |
/usr/lib/Singular/examples/mres.sing
|
-rw-r--r-- | 361 | root |
root |
/usr/lib/Singular/examples/mres_BR_PLURAL_BR.sing
|
-rw-r--r-- | 99 | root |
root |
/usr/lib/Singular/examples/mstd.sing
|
-rw-r--r-- | 52 | root |
root |
/usr/lib/Singular/examples/msum.sing
|
-rw-r--r-- | 45 | root |
root |
/usr/lib/Singular/examples/mtriple.sing
|
-rw-r--r-- | 102 | root |
root |
/usr/lib/Singular/examples/mult.sing
|
-rw-r--r-- | 185 | root |
root |
/usr/lib/Singular/examples/multBound.sing
|
-rw-r--r-- | 111 | root |
root |
/usr/lib/Singular/examples/multcol.sing
|
-rw-r--r-- | 168 | root |
root |
/usr/lib/Singular/examples/multi.sing
|
-rw-r--r-- | 1188 | root |
root |
/usr/lib/Singular/examples/multiDeg.sing
|
-rw-r--r-- | 1132 | root |
root |
/usr/lib/Singular/examples/multiDegBasis.sing
|
-rw-r--r-- | 928 | root |
root |
/usr/lib/Singular/examples/multiDegGroebner.sing
|
-rw-r--r-- | 362 | root |
root |
/usr/lib/Singular/examples/multiDegModulo.sing
|
-rw-r--r-- | 343 | root |
root |
/usr/lib/Singular/examples/multiDegPartition.sing
|
-rw-r--r-- | 1598 | root |
root |
/usr/lib/Singular/examples/multiDegResolution.sing
|
-rw-r--r-- | 448 | root |
root |
/usr/lib/Singular/examples/multiDegSyzygy.sing
|
-rw-r--r-- | 1004 | root |
root |
/usr/lib/Singular/examples/multiDegTensor.sing
|
-rw-r--r-- | 294 | root |
root |
/usr/lib/Singular/examples/multigrobcov.sing
|
-rw-r--r-- | 83 | root |
root |
/usr/lib/Singular/examples/multiplylist.sing
|
-rw-r--r-- | 111 | root |
root |
/usr/lib/Singular/examples/multrow.sing
|
-rw-r--r-- | 98 | root |
root |
/usr/lib/Singular/examples/multseq2charexp.sing
|
-rw-r--r-- | 309 | root |
root |
/usr/lib/Singular/examples/multsequence.sing
|
-rw-r--r-- | 156 | root |
root |
/usr/lib/Singular/examples/nameof.sing
|
-rw-r--r-- | 144 | root |
root |
/usr/lib/Singular/examples/names.sing
|
-rw-r--r-- | 100 | root |
root |
/usr/lib/Singular/examples/nashmult.sing
|
-rw-r--r-- | 218 | root |
root |
/usr/lib/Singular/examples/ncRelations.sing
|
-rw-r--r-- | 1171 | root |
root |
/usr/lib/Singular/examples/nc_algebra.sing
|
-rw-r--r-- | 440 | root |
root |
/usr/lib/Singular/examples/ncdetection.sing
|
-rw-r--r-- | 80 | root |
root |
/usr/lib/Singular/examples/ncols.sing
|
-rw-r--r-- | 212 | root |
root |
/usr/lib/Singular/examples/ncones.sing
|
-rw-r--r-- | 274 | root |
root |
/usr/lib/Singular/examples/ndcond.sing
|
-rw-r--r-- | 96 | root |
root |
/usr/lib/Singular/examples/negatedCone.sing
|
-rw-r--r-- | 115 | root |
root |
/usr/lib/Singular/examples/newTest.sing
|
-rw-r--r-- | 77 | root |
root |
/usr/lib/Singular/examples/newtonDiag.sing
|
-rw-r--r-- | 55 | root |
root |
/usr/lib/Singular/examples/newtonPolytope.sing
|
-rw-r--r-- | 86 | root |
root |
/usr/lib/Singular/examples/newtonpoly.sing
|
-rw-r--r-- | 180 | root |
root |
/usr/lib/Singular/examples/nf_icis.sing
|
-rw-r--r-- | 221 | root |
root |
/usr/lib/Singular/examples/nmaxcones.sing
|
-rw-r--r-- | 116 | root |
root |
/usr/lib/Singular/examples/noether.sing
|
-rw-r--r-- | 74 | root |
root |
/usr/lib/Singular/examples/noetherNormal.sing
|
-rw-r--r-- | 736 | root |
root |
/usr/lib/Singular/examples/nonMonomials.sing
|
-rw-r--r-- | 152 | root |
root |
/usr/lib/Singular/examples/nonZeroEntry.sing
|
-rw-r--r-- | 451 | root |
root |
/usr/lib/Singular/examples/norTest.sing
|
-rw-r--r-- | 142 | root |
root |
/usr/lib/Singular/examples/norm.sing
|
-rw-r--r-- | 650 | root |
root |
/usr/lib/Singular/examples/normal.sing
|
-rw-r--r-- | 687 | root |
root |
/usr/lib/Singular/examples/normalC.sing
|
-rw-r--r-- | 152 | root |
root |
/usr/lib/Singular/examples/normalI.sing
|
-rw-r--r-- | 335 | root |
root |
/usr/lib/Singular/examples/normalP.sing
|
-rw-r--r-- | 86 | root |
root |
/usr/lib/Singular/examples/normalToricRing.sing
|
-rw-r--r-- | 142 | root |
root |
/usr/lib/Singular/examples/normalToricRingFromBinomials.sing
|
-rw-r--r-- | 62 | root |
root |
/usr/lib/Singular/examples/normalform.sing
|
-rw-r--r-- | 297 | root |
root |
/usr/lib/Singular/examples/normaliz.sing
|
-rw-r--r-- | 196 | root |
root |
/usr/lib/Singular/examples/normalize.sing
|
-rw-r--r-- | 101 | root |
root |
/usr/lib/Singular/examples/npar.sing
|
-rw-r--r-- | 74 | root |
root |
/usr/lib/Singular/examples/npars.sing
|
-rw-r--r-- | 295 | root |
root |
/usr/lib/Singular/examples/nrRootsDeterm.sing
|
-rw-r--r-- | 303 | root |
root |
/usr/lib/Singular/examples/nrRootsProbab.sing
|
-rw-r--r-- | 144 | root |
root |
/usr/lib/Singular/examples/nres.sing
|
-rw-r--r-- | 402 | root |
root |
/usr/lib/Singular/examples/nres_BR_PLURAL_BR.sing
|
-rw-r--r-- | 114 | root |
root |
/usr/lib/Singular/examples/nrows.sing
|
-rw-r--r-- | 102 | root |
root |
/usr/lib/Singular/examples/nrroots.sing
|
-rw-r--r-- | 162 | root |
root |
/usr/lib/Singular/examples/nselect.sing
|
-rw-r--r-- | 204 | root |
root |
/usr/lib/Singular/examples/nt_solve.sing
|
-rw-r--r-- | 389 | root |
root |
/usr/lib/Singular/examples/numberOfConesOfDimension.sing
|
-rw-r--r-- | 958 | root |
root |
/usr/lib/Singular/examples/number_declarations.sing
|
-rw-r--r-- | 81 | root |
root |
/usr/lib/Singular/examples/number_e.sing
|
-rw-r--r-- | 475 | root |
root |
/usr/lib/Singular/examples/number_expressions.sing
|
-rw-r--r-- | 252 | root |
root |
/usr/lib/Singular/examples/number_operations.sing
|
-rw-r--r-- | 93 | root |
root |
/usr/lib/Singular/examples/number_pi.sing
|
-rw-r--r-- | 64 | root |
root |
/usr/lib/Singular/examples/numerator.sing
|
-rw-r--r-- | 85 | root |
root |
/usr/lib/Singular/examples/nvars.sing
|
-rw-r--r-- | 189 | root |
root |
/usr/lib/Singular/examples/oneDimBelongSemigroup.sing
|
-rw-r--r-- | 79 | root |
root |
/usr/lib/Singular/examples/opentex.sing
|
-rw-r--r-- | 383 | root |
root |
/usr/lib/Singular/examples/operatorBM.sing
|
-rw-r--r-- | 479 | root |
root |
/usr/lib/Singular/examples/operatorModulo.sing
|
-rw-r--r-- | 712 | root |
root |
/usr/lib/Singular/examples/oppose.sing
|
-rw-r--r-- | 287 | root |
root |
/usr/lib/Singular/examples/opposite.sing
|
-rw-r--r-- | 231 | root |
root |
/usr/lib/Singular/examples/option.sing
|
-rw-r--r-- | 160 | root |
root |
/usr/lib/Singular/examples/orbit_variety.sing
|
-rw-r--r-- | 185 | root |
root |
/usr/lib/Singular/examples/ord.sing
|
-rw-r--r-- | 99 | root |
root |
/usr/lib/Singular/examples/ord_test.sing
|
-rw-r--r-- | 39 | root |
root |
/usr/lib/Singular/examples/ordstr.sing
|
-rw-r--r-- | 121 | root |
root |
/usr/lib/Singular/examples/orthogonalize.sing
|
-rw-r--r-- | 140 | root |
root |
/usr/lib/Singular/examples/outer.sing
|
-rw-r--r-- | 122 | root |
root |
/usr/lib/Singular/examples/pFactor.sing
|
-rw-r--r-- | 152 | root |
root |
/usr/lib/Singular/examples/pIntersect.sing
|
-rw-r--r-- | 193 | root |
root |
/usr/lib/Singular/examples/pIntersectSyz.sing
|
-rw-r--r-- | 116 | root |
root |
/usr/lib/Singular/examples/package_declarations.sing
|
-rw-r--r-- | 159 | root |
root |
/usr/lib/Singular/examples/pairset.sing
|
-rw-r--r-- | 122 | root |
root |
/usr/lib/Singular/examples/par.sing
|
-rw-r--r-- | 242 | root |
root |
/usr/lib/Singular/examples/par2varRing.sing
|
-rw-r--r-- | 261 | root |
root |
/usr/lib/Singular/examples/paraConic.sing
|
-rw-r--r-- | 318 | root |
root |
/usr/lib/Singular/examples/paraPlaneCurve.sing
|
-rw-r--r-- | 247 | root |
root |
/usr/lib/Singular/examples/parallelWaitAll.sing
|
-rw-r--r-- | 221 | root |
root |
/usr/lib/Singular/examples/parallelWaitFirst.sing
|
-rw-r--r-- | 363 | root |
root |
/usr/lib/Singular/examples/parallelWaitN.sing
|
-rw-r--r-- | 415 | root |
root |
/usr/lib/Singular/examples/param.sing
|
-rw-r--r-- | 48 | root |
root |
/usr/lib/Singular/examples/pardeg.sing
|
-rw-r--r-- | 75 | root |
root |
/usr/lib/Singular/examples/parstr.sing
|
-rw-r--r-- | 197 | root |
root |
/usr/lib/Singular/examples/partial_molien.sing
|
-rw-r--r-- | 618 | root |
root |
/usr/lib/Singular/examples/pause.sing
|
-rw-r--r-- | 288 | root |
root |
/usr/lib/Singular/examples/pdivi.sing
|
-rw-r--r-- | 110 | root |
root |
/usr/lib/Singular/examples/permcol.sing
|
-rw-r--r-- | 110 | root |
root |
/usr/lib/Singular/examples/permrow.sing
|
-rw-r--r-- | 151 | root |
root |
/usr/lib/Singular/examples/permute_L.sing
|
-rw-r--r-- | 578 | root |
root |
/usr/lib/Singular/examples/perron.sing
|
-rw-r--r-- | 81 | root |
root |
/usr/lib/Singular/examples/plainInvariants.sing
|
-rw-r--r-- | 101 | root |
root |
/usr/lib/Singular/examples/pmat.sing
|
-rw-r--r-- | 222 | root |
root |
/usr/lib/Singular/examples/pnormalform.sing
|
-rw-r--r-- | 46 | root |
root |
/usr/lib/Singular/examples/poly.sing
|
-rw-r--r-- | 131 | root |
root |
/usr/lib/Singular/examples/poly2list.sing
|
-rw-r--r-- | 46 | root |
root |
/usr/lib/Singular/examples/poly_BR_PLURAL_BR.sing
|
-rw-r--r-- | 236 | root |
root |
/usr/lib/Singular/examples/poly_declarations.sing
|
-rw-r--r-- | 357 | root |
root |
/usr/lib/Singular/examples/poly_declarations_BR_PLURAL_BR.sing
|
-rw-r--r-- | 220 | root |
root |
/usr/lib/Singular/examples/poly_expressions.sing
|
-rw-r--r-- | 277 | root |
root |
/usr/lib/Singular/examples/poly_expressions_BR_PLURAL_BR.sing
|
-rw-r--r-- | 374 | root |
root |
/usr/lib/Singular/examples/poly_operations.sing
|
-rw-r--r-- | 99 | root |
root |
/usr/lib/Singular/examples/polytopeViaInequalities.sing
|
-rw-r--r-- | 251 | root |
root |
/usr/lib/Singular/examples/polytopeViaPoints.sing
|
-rw-r--r-- | 231 | root |
root |
/usr/lib/Singular/examples/pos_def.sing
|
-rw-r--r-- | 247 | root |
root |
/usr/lib/Singular/examples/posweight.sing
|
-rw-r--r-- | 151 | root |
root |
/usr/lib/Singular/examples/power.sing
|
-rw-r--r-- | 52 | root |
root |
/usr/lib/Singular/examples/powerN.sing
|
-rw-r--r-- | 76 | root |
root |
/usr/lib/Singular/examples/powerX.sing
|
-rw-r--r-- | 100 | root |
root |
/usr/lib/Singular/examples/power_products.sing
|
-rw-r--r-- | 111 | root |
root |
/usr/lib/Singular/examples/powerpolyX.sing
|
-rw-r--r-- | 258 | root |
root |
/usr/lib/Singular/examples/powersums.sing
|
-rw-r--r-- | 147 | root |
root |
/usr/lib/Singular/examples/preComp.sing
|
-rw-r--r-- | 262 | root |
root |
/usr/lib/Singular/examples/preimage.sing
|
-rw-r--r-- | 450 | root |
root |
/usr/lib/Singular/examples/preimageLattice.sing
|
-rw-r--r-- | 163 | root |
root |
/usr/lib/Singular/examples/preimageLoc.sing
|
-rw-r--r-- | 646 | root |
root |
/usr/lib/Singular/examples/preimage_BR_PLURAL_BR.sing
|
-rw-r--r-- | 93 | root |
root |
/usr/lib/Singular/examples/prepEmbDiv.sing
|
-rw-r--r-- | 107 | root |
root |
/usr/lib/Singular/examples/prepRealclassify.sing
|
-rw-r--r-- | 823 | root |
root |
/usr/lib/Singular/examples/prepSV.sing
|
-rw-r--r-- | 126 | root |
root |
/usr/lib/Singular/examples/prepareAss.sing
|
-rw-r--r-- | 46 | root |
root |
/usr/lib/Singular/examples/primL.sing
|
-rw-r--r-- | 61 | root |
root |
/usr/lib/Singular/examples/primList.sing
|
-rw-r--r-- | 124 | root |
root |
/usr/lib/Singular/examples/primRoot.sing
|
-rw-r--r-- | 158 | root |
root |
/usr/lib/Singular/examples/primTest.sing
|
-rw-r--r-- | 149 | root |
root |
/usr/lib/Singular/examples/primary_char0.sing
|
-rw-r--r-- | 152 | root |
root |
/usr/lib/Singular/examples/primary_char0_no_molien.sing
|
-rw-r--r-- | 161 | root |
root |
/usr/lib/Singular/examples/primary_char0_no_molien_random.sing
|
-rw-r--r-- | 158 | root |
root |
/usr/lib/Singular/examples/primary_char0_random.sing
|
-rw-r--r-- | 222 | root |
root |
/usr/lib/Singular/examples/primary_charp.sing
|
-rw-r--r-- | 152 | root |
root |
/usr/lib/Singular/examples/primary_charp_no_molien.sing
|
-rw-r--r-- | 161 | root |
root |
/usr/lib/Singular/examples/primary_charp_no_molien_random.sing
|
-rw-r--r-- | 231 | root |
root |
/usr/lib/Singular/examples/primary_charp_random.sing
|
-rw-r--r-- | 120 | root |
root |
/usr/lib/Singular/examples/primary_charp_without.sing
|
-rw-r--r-- | 129 | root |
root |
/usr/lib/Singular/examples/primary_charp_without_random.sing
|
-rw-r--r-- | 118 | root |
root |
/usr/lib/Singular/examples/primary_invariants.sing
|
-rw-r--r-- | 127 | root |
root |
/usr/lib/Singular/examples/primary_invariants_random.sing
|
-rw-r--r-- | 126 | root |
root |
/usr/lib/Singular/examples/primdecGTZ.sing
|
-rw-r--r-- | 268 | root |
root |
/usr/lib/Singular/examples/primdecMon.sing
|
-rw-r--r-- | 125 | root |
root |
/usr/lib/Singular/examples/primdecSY.sing
|
-rw-r--r-- | 408 | root |
root |
/usr/lib/Singular/examples/primdecZ.sing
|
-rw-r--r-- | 58 | root |
root |
/usr/lib/Singular/examples/prime.sing
|
-rw-r--r-- | 332 | root |
root |
/usr/lib/Singular/examples/primeClosure.sing
|
-rw-r--r-- | 138 | root |
root |
/usr/lib/Singular/examples/primecoeffs.sing
|
-rw-r--r-- | 121 | root |
root |
/usr/lib/Singular/examples/primefactors.sing
|
-rw-r--r-- | 66 | root |
root |
/usr/lib/Singular/examples/primes.sing
|
-rw-r--r-- | 514 | root |
root |
/usr/lib/Singular/examples/primitive.sing
|
-rw-r--r-- | 395 | root |
root |
/usr/lib/Singular/examples/primitiveSpan.sing
|
-rw-r--r-- | 203 | root |
root |
/usr/lib/Singular/examples/primitive_extra.sing
|
-rw-r--r-- | 93 | root |
root |
/usr/lib/Singular/examples/primparam.sing
|
-rw-r--r-- | 363 | root |
root |
/usr/lib/Singular/examples/print.sing
|
-rw-r--r-- | 156 | root |
root |
/usr/lib/Singular/examples/printGroup.sing
|
-rw-r--r-- | 253 | root |
root |
/usr/lib/Singular/examples/printf.sing
|
-rw-r--r-- | 73 | root |
root |
/usr/lib/Singular/examples/printlevel.sing
|
-rw-r--r-- | 281 | root |
root |
/usr/lib/Singular/examples/proc_declaration.sing
|
-rw-r--r-- | 202 | root |
root |
/usr/lib/Singular/examples/prodcrit.sing
|
-rw-r--r-- | 271 | root |
root |
/usr/lib/Singular/examples/product.sing
|
-rw-r--r-- | 248 | root |
root |
/usr/lib/Singular/examples/productgroup.sing
|
-rw-r--r-- | 566 | root |
root |
/usr/lib/Singular/examples/projectLattice.sing
|
-rw-r--r-- | 888 | root |
root |
/usr/lib/Singular/examples/proximitymatrix.sing
|
-rw-r--r-- | 104 | root |
root |
/usr/lib/Singular/examples/prune.sing
|
-rw-r--r-- | 137 | root |
root |
/usr/lib/Singular/examples/psigncnd.sing
|
-rw-r--r-- | 153 | root |
root |
/usr/lib/Singular/examples/puiseux2generators.sing
|
-rw-r--r-- | 772 | root |
root |
/usr/lib/Singular/examples/pushForward.sing
|
-rw-r--r-- | 100 | root |
root |
/usr/lib/Singular/examples/pwalk.sing
|
-rw-r--r-- | 126 | root |
root |
/usr/lib/Singular/examples/pyramid.sing
|
-rw-r--r-- | 157 | root |
root |
/usr/lib/Singular/examples/qbase.sing
|
-rw-r--r-- | 221 | root |
root |
/usr/lib/Singular/examples/qepcad.sing
|
-rw-r--r-- | 283 | root |
root |
/usr/lib/Singular/examples/qepcadsystem.sing
|
-rw-r--r-- | 92 | root |
root |
/usr/lib/Singular/examples/qhmatrix.sing
|
-rw-r--r-- | 154 | root |
root |
/usr/lib/Singular/examples/qhspectrum.sing
|
-rw-r--r-- | 65 | root |
root |
/usr/lib/Singular/examples/qhweight.sing
|
-rw-r--r-- | 201 | root |
root |
/usr/lib/Singular/examples/qminor.sing
|
-rw-r--r-- | 156 | root |
root |
/usr/lib/Singular/examples/qrds.sing
|
-rw-r--r-- | 122 | root |
root |
/usr/lib/Singular/examples/qring_declaration.sing
|
-rw-r--r-- | 433 | root |
root |
/usr/lib/Singular/examples/qring_declaration_BR_PLURAL_BR.sing
|
-rw-r--r-- | 177 | root |
root |
/usr/lib/Singular/examples/qslimgb.sing
|
-rw-r--r-- | 120 | root |
root |
/usr/lib/Singular/examples/quadraticSieve.sing
|
-rw-r--r-- | 167 | root |
root |
/usr/lib/Singular/examples/quantMat.sing
|
-rw-r--r-- | 96 | root |
root |
/usr/lib/Singular/examples/quickclass.sing
|
-rw-r--r-- | 269 | root |
root |
/usr/lib/Singular/examples/quote.sing
|
-rw-r--r-- | 210 | root |
root |
/usr/lib/Singular/examples/quotient.sing
|
-rw-r--r-- | 104 | root |
root |
/usr/lib/Singular/examples/quotientLatticeBasis.sing
|
-rw-r--r-- | 164 | root |
root |
/usr/lib/Singular/examples/quotientMon.sing
|
-rw-r--r-- | 709 | root |
root |
/usr/lib/Singular/examples/quotient_BR_PLURAL_BR.sing
|
-rw-r--r-- | 805 | root |
root |
/usr/lib/Singular/examples/rMacaulay.sing
|
-rw-r--r-- | 131 | root |
root |
/usr/lib/Singular/examples/rad_con.sing
|
-rw-r--r-- | 124 | root |
root |
/usr/lib/Singular/examples/radical.sing
|
-rw-r--r-- | 126 | root |
root |
/usr/lib/Singular/examples/radicalEHV.sing
|
-rw-r--r-- | 126 | root |
root |
/usr/lib/Singular/examples/radicalMon.sing
|
-rw-r--r-- | 348 | root |
root |
/usr/lib/Singular/examples/radicalZ.sing
|
-rw-r--r-- | 291 | root |
root |
/usr/lib/Singular/examples/randcharpoly.sing
|
-rw-r--r-- | 87 | root |
root |
/usr/lib/Singular/examples/randlinpoly.sing
|
-rw-r--r-- | 220 | root |
root |
/usr/lib/Singular/examples/random.sing
|
-rw-r--r-- | 78 | root |
root |
/usr/lib/Singular/examples/randomBinomial.sing
|
-rw-r--r-- | 223 | root |
root |
/usr/lib/Singular/examples/randomCheck.sing
|
-rw-r--r-- | 71 | root |
root |
/usr/lib/Singular/examples/randomLast.sing
|
-rw-r--r-- | 121 | root |
root |
/usr/lib/Singular/examples/randomid.sing
|
-rw-r--r-- | 116 | root |
root |
/usr/lib/Singular/examples/randommat.sing
|
-rw-r--r-- | 197 | root |
root |
/usr/lib/Singular/examples/rank.sing
|
-rw-r--r-- | 413 | root |
root |
/usr/lib/Singular/examples/rationalPointConic.sing
|
-rw-r--r-- | 182 | root |
root |
/usr/lib/Singular/examples/rays.sing
|
-rw-r--r-- | 268 | root |
root |
/usr/lib/Singular/examples/read.sing
|
-rw-r--r-- | 166 | root |
root |
/usr/lib/Singular/examples/readNmzData.sing
|
-rw-r--r-- | 110 | root |
root |
/usr/lib/Singular/examples/realclassify.sing
|
-rw-r--r-- | 350 | root |
root |
/usr/lib/Singular/examples/realizationDim.sing
|
-rw-r--r-- | 638 | root |
root |
/usr/lib/Singular/examples/realizationDimPoly.sing
|
-rw-r--r-- | 109 | root |
root |
/usr/lib/Singular/examples/realmorsesplit.sing
|
-rw-r--r-- | 282 | root |
root |
/usr/lib/Singular/examples/realpoly.sing
|
-rw-r--r-- | 228 | root |
root |
/usr/lib/Singular/examples/realrad.sing
|
-rw-r--r-- | 393 | root |
root |
/usr/lib/Singular/examples/realzero.sing
|
-rw-r--r-- | 349 | root |
root |
/usr/lib/Singular/examples/reduce.sing
|
-rw-r--r-- | 547 | root |
root |
/usr/lib/Singular/examples/reduce_BR_PLURAL_BR.sing
|
-rw-r--r-- | 127 | root |
root |
/usr/lib/Singular/examples/reduction.sing
|
-rw-r--r-- | 216 | root |
root |
/usr/lib/Singular/examples/regIdeal.sing
|
-rw-r--r-- | 317 | root |
root |
/usr/lib/Singular/examples/regMonCurve.sing
|
-rw-r--r-- | 288 | root |
root |
/usr/lib/Singular/examples/regularity.sing
|
-rw-r--r-- | 53 | root |
root |
/usr/lib/Singular/examples/reiffen.sing
|
-rw-r--r-- | 234 | root |
root |
/usr/lib/Singular/examples/rel_orbit_variety.sing
|
-rw-r--r-- | 162 | root |
root |
/usr/lib/Singular/examples/relativeInteriorPoint.sing
|
-rw-r--r-- | 213 | root |
root |
/usr/lib/Singular/examples/relative_orbit_variety.sing
|
-rw-r--r-- | 136 | root |
root |
/usr/lib/Singular/examples/relweight.sing
|
-rw-r--r-- | 110 | root |
root |
/usr/lib/Singular/examples/remainder.sing
|
-rw-r--r-- | 175 | root |
root |
/usr/lib/Singular/examples/removeCone.sing
|
-rw-r--r-- | 82 | root |
root |
/usr/lib/Singular/examples/removepower.sing
|
-rw-r--r-- | 44 | root |
root |
/usr/lib/Singular/examples/repart.sing
|
-rw-r--r-- | 227 | root |
root |
/usr/lib/Singular/examples/replace.sing
|
-rw-r--r-- | 430 | root |
root |
/usr/lib/Singular/examples/res.sing
|
-rw-r--r-- | 47 | root |
root |
/usr/lib/Singular/examples/reservedName.sing
|
-rw-r--r-- | 189 | root |
root |
/usr/lib/Singular/examples/resfunction.sing
|
-rw-r--r-- | 69 | root |
root |
/usr/lib/Singular/examples/reslist.sing
|
-rw-r--r-- | 91 | root |
root |
/usr/lib/Singular/examples/resolution_declarations.sing
|
-rw-r--r-- | 290 | root |
root |
/usr/lib/Singular/examples/resolution_declarations_BR_PLURAL_BR.sing
|
-rw-r--r-- | 123 | root |
root |
/usr/lib/Singular/examples/resolutiongraph.sing
|
-rw-r--r-- | 122 | root |
root |
/usr/lib/Singular/examples/resolve.sing
|
-rw-r--r-- | 288 | root |
root |
/usr/lib/Singular/examples/restrictionIdeal.sing
|
-rw-r--r-- | 294 | root |
root |
/usr/lib/Singular/examples/restrictionModule.sing
|
-rw-r--r-- | 85 | root |
root |
/usr/lib/Singular/examples/resultant.sing
|
-rw-r--r-- | 87 | root |
root |
/usr/lib/Singular/examples/reverse.sing
|
-rw-r--r-- | 370 | root |
root |
/usr/lib/Singular/examples/reynolds_molien.sing
|
-rw-r--r-- | 86 | root |
root |
/usr/lib/Singular/examples/rho.sing
|
-rw-r--r-- | 403 | root |
root |
/usr/lib/Singular/examples/rightInverse.sing
|
-rw-r--r-- | 135 | root |
root |
/usr/lib/Singular/examples/rightKernel.sing
|
-rw-r--r-- | 329 | root |
root |
/usr/lib/Singular/examples/rightModulo.sing
|
-rw-r--r-- | 215 | root |
root |
/usr/lib/Singular/examples/rightNF.sing
|
-rw-r--r-- | 166 | root |
root |
/usr/lib/Singular/examples/rightStd.sing
|
-rw-r--r-- | 68 | root |
root |
/usr/lib/Singular/examples/ring_operations.sing
|
-rw-r--r-- | 181 | root |
root |
/usr/lib/Singular/examples/ring_operations_BR_PLURAL_BR.sing
|
-rw-r--r-- | 653 | root |
root |
/usr/lib/Singular/examples/ringlist.sing
|
-rw-r--r-- | 390 | root |
root |
/usr/lib/Singular/examples/ringlist_BR_PLURAL_BR.sing
|
-rw-r--r-- | 483 | root |
root |
/usr/lib/Singular/examples/ringtensor.sing
|
-rw-r--r-- | 259 | root |
root |
/usr/lib/Singular/examples/ringweights.sing
|
-rw-r--r-- | 69 | root |
root |
/usr/lib/Singular/examples/rmNmzFiles.sing
|
-rw-r--r-- | 251 | root |
root |
/usr/lib/Singular/examples/rm_unitcol.sing
|
-rw-r--r-- | 245 | root |
root |
/usr/lib/Singular/examples/rm_unitrow.sing
|
-rw-r--r-- | 253 | root |
root |
/usr/lib/Singular/examples/rmx.sing
|
-rw-r--r-- | 184 | root |
root |
/usr/lib/Singular/examples/rncAntiCanonicalMap.sing
|
-rw-r--r-- | 211 | root |
root |
/usr/lib/Singular/examples/rncItProjEven.sing
|
-rw-r--r-- | 323 | root |
root |
/usr/lib/Singular/examples/rncItProjOdd.sing
|
-rw-r--r-- | 104 | root |
root |
/usr/lib/Singular/examples/rootofUnity.sing
|
-rw-r--r-- | 167 | root |
root |
/usr/lib/Singular/examples/roots.sing
|
-rw-r--r-- | 130 | root |
root |
/usr/lib/Singular/examples/rootsModp.sing
|
-rw-r--r-- | 97 | root |
root |
/usr/lib/Singular/examples/round.sing
|
-rw-r--r-- | 294 | root |
root |
/usr/lib/Singular/examples/rowred.sing
|
-rw-r--r-- | 86 | root |
root |
/usr/lib/Singular/examples/rvar.sing
|
-rw-r--r-- | 272 | root |
root |
/usr/lib/Singular/examples/sa_poly_reduce.sing
|
-rw-r--r-- | 296 | root |
root |
/usr/lib/Singular/examples/sa_reduce.sing
|
-rw-r--r-- | 223 | root |
root |
/usr/lib/Singular/examples/sagbi.sing
|
-rw-r--r-- | 378 | root |
root |
/usr/lib/Singular/examples/sagbiPart.sing
|
-rw-r--r-- | 462 | root |
root |
/usr/lib/Singular/examples/sagbiReduce.sing
|
-rw-r--r-- | 589 | root |
root |
/usr/lib/Singular/examples/sagbiSPoly.sing
|
-rw-r--r-- | 618 | root |
root |
/usr/lib/Singular/examples/salida.sing
|
-rw-r--r-- | 148 | root |
root |
/usr/lib/Singular/examples/sameComponent.sing
|
-rw-r--r-- | 195 | root |
root |
/usr/lib/Singular/examples/sat.sing
|
-rw-r--r-- | 325 | root |
root |
/usr/lib/Singular/examples/satiety.sing
|
-rw-r--r-- | 69 | root |
root |
/usr/lib/Singular/examples/scalarProd.sing
|
-rw-r--r-- | 159 | root |
root |
/usr/lib/Singular/examples/scheme.sing
|
-rw-r--r-- | 288 | root |
root |
/usr/lib/Singular/examples/secondary_and_irreducibles_no_molien.sing
|
-rw-r--r-- | 166 | root |
root |
/usr/lib/Singular/examples/secondary_char0.sing
|
-rw-r--r-- | 172 | root |
root |
/usr/lib/Singular/examples/secondary_charp.sing
|
-rw-r--r-- | 257 | root |
root |
/usr/lib/Singular/examples/secondary_no_molien.sing
|
-rw-r--r-- | 162 | root |
root |
/usr/lib/Singular/examples/secondary_not_cohen_macaulay.sing
|
-rw-r--r-- | 170 | root |
root |
/usr/lib/Singular/examples/select.sing
|
-rw-r--r-- | 172 | root |
root |
/usr/lib/Singular/examples/select1.sing
|
-rw-r--r-- | 201 | root |
root |
/usr/lib/Singular/examples/semiCMcod2.sing
|
-rw-r--r-- | 149 | root |
root |
/usr/lib/Singular/examples/semidiv.sing
|
-rw-r--r-- | 310 | root |
root |
/usr/lib/Singular/examples/semigroup.sing
|
-rw-r--r-- | 80 | root |
root |
/usr/lib/Singular/examples/semigroupGenerator.sing
|
-rw-r--r-- | 278 | root |
root |
/usr/lib/Singular/examples/separateHNE.sing
|
-rw-r--r-- | 118 | root |
root |
/usr/lib/Singular/examples/separator.sing
|
-rw-r--r-- | 238 | root |
root |
/usr/lib/Singular/examples/serreRelations.sing
|
-rw-r--r-- | 1621 | root |
root |
/usr/lib/Singular/examples/setBaseMultigrading.sing
|
-rw-r--r-- | 185 | root |
root |
/usr/lib/Singular/examples/setLetterplaceAttributes.sing
|
-rw-r--r-- | 126 | root |
root |
/usr/lib/Singular/examples/setLinearForms.sing
|
-rw-r--r-- | 438 | root |
root |
/usr/lib/Singular/examples/setModuleGrading.sing
|
-rw-r--r-- | 119 | root |
root |
/usr/lib/Singular/examples/setMultiplicity.sing
|
-rw-r--r-- | 154 | root |
root |
/usr/lib/Singular/examples/setNmzDataPath.sing
|
-rw-r--r-- | 52 | root |
root |
/usr/lib/Singular/examples/setNmzExecPath.sing
|
-rw-r--r-- | 153 | root |
root |
/usr/lib/Singular/examples/setNmzFilename.sing
|
-rw-r--r-- | 62 | root |
root |
/usr/lib/Singular/examples/setNmzOption.sing
|
-rw-r--r-- | 77 | root |
root |
/usr/lib/Singular/examples/setglobalrings.sing
|
-rw-r--r-- | 203 | root |
root |
/usr/lib/Singular/examples/setinitials.sing
|
-rw-r--r-- | 177 | root |
root |
/usr/lib/Singular/examples/setring.sing
|
-rw-r--r-- | 404 | root |
root |
/usr/lib/Singular/examples/sheafCoh.sing
|
-rw-r--r-- | 404 | root |
root |
/usr/lib/Singular/examples/sheafCohBGG.sing
|
-rw-r--r-- | 1531 | root |
root |
/usr/lib/Singular/examples/sheafCohBGG2.sing
|
-rw-r--r-- | 199 | root |
root |
/usr/lib/Singular/examples/shiftPoly.sing
|
-rw-r--r-- | 130 | root |
root |
/usr/lib/Singular/examples/short.sing
|
-rw-r--r-- | 467 | root |
root |
/usr/lib/Singular/examples/show.sing
|
-rw-r--r-- | 62 | root |
root |
/usr/lib/Singular/examples/showNmzOptions.sing
|
-rw-r--r-- | 104 | root |
root |
/usr/lib/Singular/examples/showNuminvs.sing
|
-rw-r--r-- | 119 | root |
root |
/usr/lib/Singular/examples/showrecursive.sing
|
-rw-r--r-- | 446 | root |
root |
/usr/lib/Singular/examples/sickle.sing
|
-rw-r--r-- | 73 | root |
root |
/usr/lib/Singular/examples/signatureBrieskorn.sing
|
-rw-r--r-- | 232 | root |
root |
/usr/lib/Singular/examples/signatureL.sing
|
-rw-r--r-- | 240 | root |
root |
/usr/lib/Singular/examples/signatureLqf.sing
|
-rw-r--r-- | 238 | root |
root |
/usr/lib/Singular/examples/signatureNemethi.sing
|
-rw-r--r-- | 197 | root |
root |
/usr/lib/Singular/examples/signaturePuiseux.sing
|
-rw-r--r-- | 557 | root |
root |
/usr/lib/Singular/examples/signcnd.sing
|
-rw-r--r-- | 195 | root |
root |
/usr/lib/Singular/examples/simplesolver.sing
|
-rw-r--r-- | 850 | root |
root |
/usr/lib/Singular/examples/simplex.sing
|
-rw-r--r-- | 734 | root |
root |
/usr/lib/Singular/examples/simplexOut.sing
|
-rw-r--r-- | 250 | root |
root |
/usr/lib/Singular/examples/simplify.sing
|
-rw-r--r-- | 163 | root |
root |
/usr/lib/Singular/examples/singularity.sing
|
-rw-r--r-- | 297 | root |
root |
/usr/lib/Singular/examples/size.sing
|
-rw-r--r-- | 305 | root |
root |
/usr/lib/Singular/examples/skewmat.sing
|
-rw-r--r-- | 403 | root |
root |
/usr/lib/Singular/examples/slim_Groebner_bases.sing
|
-rw-r--r-- | 109 | root |
root |
/usr/lib/Singular/examples/slimgb.sing
|
-rw-r--r-- | 395 | root |
root |
/usr/lib/Singular/examples/slimgb_BR_PLURAL_BR.sing
|
-rw-r--r-- | 102 | root |
root |
/usr/lib/Singular/examples/slocus.sing
|
-rw-r--r-- | 271 | root |
root |
/usr/lib/Singular/examples/smith.sing
|
-rw-r--r-- | 259 | root |
root |
/usr/lib/Singular/examples/smithNormalForm.sing
|
-rw-r--r-- | 87 | root |
root |
/usr/lib/Singular/examples/solutionsMod2.sing
|
-rw-r--r-- | 1075 | root |
root |
/usr/lib/Singular/examples/solve.sing
|
-rw-r--r-- | 897 | root |
root |
/usr/lib/Singular/examples/solve_IP.sing
|
-rw-r--r-- | 573 | root |
root |
/usr/lib/Singular/examples/solvelinearpart.sing
|
-rw-r--r-- | 883 | root |
root |
/usr/lib/Singular/examples/sort.sing
|
-rw-r--r-- | 148 | root |
root |
/usr/lib/Singular/examples/sortIntvec.sing
|
-rw-r--r-- | 230 | root |
root |
/usr/lib/Singular/examples/sortandmap.sing
|
-rw-r--r-- | 76 | root |
root |
/usr/lib/Singular/examples/sortier.sing
|
-rw-r--r-- | 100 | root |
root |
/usr/lib/Singular/examples/sortvars.sing
|
-rw-r--r-- | 60 | root |
root |
/usr/lib/Singular/examples/sortvec.sing
|
-rw-r--r-- | 213 | root |
root |
/usr/lib/Singular/examples/spadd.sing
|
-rw-r--r-- | 105 | root |
root |
/usr/lib/Singular/examples/span.sing
|
-rw-r--r-- | 99 | root |
root |
/usr/lib/Singular/examples/sparseHomogIdeal.sing
|
-rw-r--r-- | 83 | root |
root |
/usr/lib/Singular/examples/sparseid.sing
|
-rw-r--r-- | 103 | root |
root |
/usr/lib/Singular/examples/sparsemat.sing
|
-rw-r--r-- | 199 | root |
root |
/usr/lib/Singular/examples/sparsematrix.sing
|
-rw-r--r-- | 79 | root |
root |
/usr/lib/Singular/examples/sparsepoly.sing
|
-rw-r--r-- | 111 | root |
root |
/usr/lib/Singular/examples/sparsetriag.sing
|
-rw-r--r-- | 166 | root |
root |
/usr/lib/Singular/examples/spectralNeg.sing
|
-rw-r--r-- | 79 | root |
root |
/usr/lib/Singular/examples/spectrum.sing
|
-rw-r--r-- | 137 | root |
root |
/usr/lib/Singular/examples/spectrumnd.sing
|
-rw-r--r-- | 141 | root |
root |
/usr/lib/Singular/examples/spgamma.sing
|
-rw-r--r-- | 145 | root |
root |
/usr/lib/Singular/examples/spgeomgenus.sing
|
-rw-r--r-- | 266 | root |
root |
/usr/lib/Singular/examples/spissemicont.sing
|
-rw-r--r-- | 98 | root |
root |
/usr/lib/Singular/examples/split.sing
|
-rw-r--r-- | 314 | root |
root |
/usr/lib/Singular/examples/splitring.sing
|
-rw-r--r-- | 135 | root |
root |
/usr/lib/Singular/examples/splitting.sing
|
-rw-r--r-- | 142 | root |
root |
/usr/lib/Singular/examples/spmilnor.sing
|
-rw-r--r-- | 313 | root |
root |
/usr/lib/Singular/examples/spmul.sing
|
-rw-r--r-- | 133 | root |
root |
/usr/lib/Singular/examples/spnf.sing
|
-rw-r--r-- | 247 | root |
root |
/usr/lib/Singular/examples/spoly.sing
|
-rw-r--r-- | 79 | root |
root |
/usr/lib/Singular/examples/sppairs.sing
|
-rw-r--r-- | 167 | root |
root |
/usr/lib/Singular/examples/sppnf.sing
|
-rw-r--r-- | 154 | root |
root |
/usr/lib/Singular/examples/sppprint.sing
|
-rw-r--r-- | 127 | root |
root |
/usr/lib/Singular/examples/spprint.sing
|
-rw-r--r-- | 325 | root |
root |
/usr/lib/Singular/examples/sprintf.sing
|
-rw-r--r-- | 424 | root |
root |
/usr/lib/Singular/examples/spsemicont.sing
|
-rw-r--r-- | 213 | root |
root |
/usr/lib/Singular/examples/spsub.sing
|
-rw-r--r-- | 95 | root |
root |
/usr/lib/Singular/examples/sqfrNorm.sing
|
-rw-r--r-- | 91 | root |
root |
/usr/lib/Singular/examples/sqr.sing
|
-rw-r--r-- | 115 | root |
root |
/usr/lib/Singular/examples/sqrfree.sing
|
-rw-r--r-- | 71 | root |
root |
/usr/lib/Singular/examples/squareRoot.sing
|
-rw-r--r-- | 177 | root |
root |
/usr/lib/Singular/examples/squarefree.sing
|
-rw-r--r-- | 183 | root |
root |
/usr/lib/Singular/examples/sres.sing
|
-rw-r--r-- | 293 | root |
root |
/usr/lib/Singular/examples/standard.sing
|
-rw-r--r-- | 32 | root |
root |
/usr/lib/Singular/examples/startNmz.sing
|
-rw-r--r-- | 100 | root |
root |
/usr/lib/Singular/examples/status.sing
|
-rw-r--r-- | 714 | root |
root |
/usr/lib/Singular/examples/std.sing
|
-rw-r--r-- | 315 | root |
root |
/usr/lib/Singular/examples/std_BR_PLURAL_BR.sing
|
-rw-r--r-- | 413 | root |
root |
/usr/lib/Singular/examples/stdfglm.sing
|
-rw-r--r-- | 388 | root |
root |
/usr/lib/Singular/examples/stdhilb.sing
|
-rw-r--r-- | 335 | root |
root |
/usr/lib/Singular/examples/string.sing
|
-rw-r--r-- | 193 | root |
root |
/usr/lib/Singular/examples/string_declarations.sing
|
-rw-r--r-- | 435 | root |
root |
/usr/lib/Singular/examples/string_expressions.sing
|
-rw-r--r-- | 134 | root |
root |
/usr/lib/Singular/examples/string_operations.sing
|
-rw-r--r-- | 472 | root |
root |
/usr/lib/Singular/examples/string_type_cast.sing
|
-rw-r--r-- | 87 | root |
root |
/usr/lib/Singular/examples/stripHNE.sing
|
-rw-r--r-- | 136 | root |
root |
/usr/lib/Singular/examples/sturm.sing
|
-rw-r--r-- | 112 | root |
root |
/usr/lib/Singular/examples/sturmha.sing
|
-rw-r--r-- | 85 | root |
root |
/usr/lib/Singular/examples/sturmhaseq.sing
|
-rw-r--r-- | 115 | root |
root |
/usr/lib/Singular/examples/sturmquery.sing
|
-rw-r--r-- | 82 | root |
root |
/usr/lib/Singular/examples/sturmseq.sing
|
-rw-r--r-- | 157 | root |
root |
/usr/lib/Singular/examples/submat.sing
|
-rw-r--r-- | 177 | root |
root |
/usr/lib/Singular/examples/subrInterred.sing
|
-rw-r--r-- | 172 | root |
root |
/usr/lib/Singular/examples/subst.sing
|
-rw-r--r-- | 152 | root |
root |
/usr/lib/Singular/examples/subst_BR_PLURAL_BR.sing
|
-rw-r--r-- | 159 | root |
root |
/usr/lib/Singular/examples/substitute.sing
|
-rw-r--r-- | 285 | root |
root |
/usr/lib/Singular/examples/sum.sing
|
-rw-r--r-- | 69 | root |
root |
/usr/lib/Singular/examples/sumlist.sing
|
-rw-r--r-- | 946 | root |
root |
/usr/lib/Singular/examples/superCommutative.sing
|
-rw-r--r-- | 51 | root |
root |
/usr/lib/Singular/examples/swap.sing
|
-rw-r--r-- | 334 | root |
root |
/usr/lib/Singular/examples/syModStd.sing
|
-rw-r--r-- | 91 | root |
root |
/usr/lib/Singular/examples/sym_gauss.sing
|
-rw-r--r-- | 258 | root |
root |
/usr/lib/Singular/examples/symmStd.sing
|
-rw-r--r-- | 303 | root |
root |
/usr/lib/Singular/examples/symmat.sing
|
-rw-r--r-- | 179 | root |
root |
/usr/lib/Singular/examples/symmetricBasis.sing
|
-rw-r--r-- | 494 | root |
root |
/usr/lib/Singular/examples/symmetricPower.sing
|
-rw-r--r-- | 171 | root |
root |
/usr/lib/Singular/examples/symmfunc.sing
|
-rw-r--r-- | 139 | root |
root |
/usr/lib/Singular/examples/symsignature.sing
|
-rw-r--r-- | 410 | root |
root |
/usr/lib/Singular/examples/syndrome.sing
|
-rw-r--r-- | 160 | root |
root |
/usr/lib/Singular/examples/sysBin.sing
|
-rw-r--r-- | 984 | root |
root |
/usr/lib/Singular/examples/sysCRHT.sing
|
-rw-r--r-- | 538 | root |
root |
/usr/lib/Singular/examples/sysCRHTMindist.sing
|
-rw-r--r-- | 755 | root |
root |
/usr/lib/Singular/examples/sysFL.sing
|
-rw-r--r-- | 698 | root |
root |
/usr/lib/Singular/examples/sysNewton.sing
|
-rw-r--r-- | 520 | root |
root |
/usr/lib/Singular/examples/sysQE.sing
|
-rw-r--r-- | 312 | root |
root |
/usr/lib/Singular/examples/sys_code.sing
|
-rw-r--r-- | 409 | root |
root |
/usr/lib/Singular/examples/system.sing
|
-rw-r--r-- | 50 | root |
root |
/usr/lib/Singular/examples/syz.sing
|
-rw-r--r-- | 688 | root |
root |
/usr/lib/Singular/examples/syz_BR_PLURAL_BR.sing
|
-rw-r--r-- | 83 | root |
root |
/usr/lib/Singular/examples/tab.sing
|
-rw-r--r-- | 106 | root |
root |
/usr/lib/Singular/examples/tail.sing
|
-rw-r--r-- | 91 | root |
root |
/usr/lib/Singular/examples/tangentcone.sing
|
-rw-r--r-- | 76 | root |
root |
/usr/lib/Singular/examples/tau_es.sing
|
-rw-r--r-- | 141 | root |
root |
/usr/lib/Singular/examples/tau_es2.sing
|
-rw-r--r-- | 145 | root |
root |
/usr/lib/Singular/examples/tensor.sing
|
-rw-r--r-- | 141 | root |
root |
/usr/lib/Singular/examples/tensorMod.sing
|
-rw-r--r-- | 448 | root |
root |
/usr/lib/Singular/examples/testNCfac.sing
|
-rw-r--r-- | 134 | root |
root |
/usr/lib/Singular/examples/testParametrization.sing
|
-rw-r--r-- | 260 | root |
root |
/usr/lib/Singular/examples/testPointConic.sing
|
-rw-r--r-- | 163 | root |
root |
/usr/lib/Singular/examples/testPrimary.sing
|
-rw-r--r-- | 200 | root |
root |
/usr/lib/Singular/examples/tex.sing
|
-rw-r--r-- | 165 | root |
root |
/usr/lib/Singular/examples/texcoef.sing
|
-rw-r--r-- | 194 | root |
root |
/usr/lib/Singular/examples/texfactorize.sing
|
-rw-r--r-- | 849 | root |
root |
/usr/lib/Singular/examples/texmap.sing
|
-rw-r--r-- | 267 | root |
root |
/usr/lib/Singular/examples/texname.sing
|
-rw-r--r-- | 1015 | root |
root |
/usr/lib/Singular/examples/texobj.sing
|
-rw-r--r-- | 305 | root |
root |
/usr/lib/Singular/examples/texpoly.sing
|
-rw-r--r-- | 40 | root |
root |
/usr/lib/Singular/examples/texproc.sing
|
-rw-r--r-- | 993 | root |
root |
/usr/lib/Singular/examples/texring.sing
|
-rw-r--r-- | 131 | root |
root |
/usr/lib/Singular/examples/timeFactorize.sing
|
-rw-r--r-- | 182 | root |
root |
/usr/lib/Singular/examples/timeStd.sing
|
-rw-r--r-- | 551 | root |
root |
/usr/lib/Singular/examples/timer.sing
|
-rw-r--r-- | 215 | root |
root |
/usr/lib/Singular/examples/timestep.sing
|
-rw-r--r-- | 86 | root |
root |
/usr/lib/Singular/examples/tjurina.sing
|
-rw-r--r-- | 128 | root |
root |
/usr/lib/Singular/examples/tmatrix.sing
|
-rw-r--r-- | 145 | root |
root |
/usr/lib/Singular/examples/tolessvars.sing
|
-rw-r--r-- | 235 | root |
root |
/usr/lib/Singular/examples/toric_ideal.sing
|
-rw-r--r-- | 531 | root |
root |
/usr/lib/Singular/examples/toric_std.sing
|
-rw-r--r-- | 102 | root |
root |
/usr/lib/Singular/examples/torusInvariants.sing
|
-rw-r--r-- | 127 | root |
root |
/usr/lib/Singular/examples/totalmultiplicities.sing
|
-rw-r--r-- | 50 | root |
root |
/usr/lib/Singular/examples/trace.sing
|
-rw-r--r-- | 207 | root |
root |
/usr/lib/Singular/examples/tracemult.sing
|
-rw-r--r-- | 82 | root |
root |
/usr/lib/Singular/examples/transpose.sing
|
-rw-r--r-- | 149 | root |
root |
/usr/lib/Singular/examples/trapezoid.sing
|
-rw-r--r-- | 155 | root |
root |
/usr/lib/Singular/examples/triMNewton.sing
|
-rw-r--r-- | 217 | root |
root |
/usr/lib/Singular/examples/triagmatrix.sing
|
-rw-r--r-- | 179 | root |
root |
/usr/lib/Singular/examples/triangL_solve.sing
|
-rw-r--r-- | 179 | root |
root |
/usr/lib/Singular/examples/triangLf_solve.sing
|
-rw-r--r-- | 179 | root |
root |
/usr/lib/Singular/examples/triangM_solve.sing
|
-rw-r--r-- | 196 | root |
root |
/usr/lib/Singular/examples/triang_solve.sing
|
-rw-r--r-- | 381 | root |
root |
/usr/lib/Singular/examples/truncate.sing
|
-rw-r--r-- | 808 | root |
root |
/usr/lib/Singular/examples/truncateFast.sing
|
-rw-r--r-- | 96 | root |
root |
/usr/lib/Singular/examples/twalk.sing
|
-rw-r--r-- | 492 | root |
root |
/usr/lib/Singular/examples/twostd.sing
|
-rw-r--r-- | 27 | root |
root |
/usr/lib/Singular/examples/type.sing
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/Singular/examples/typeof.sing
|
-rw-r--r-- | 171 | root |
root |
/usr/lib/Singular/examples/u.sing
|
-rw-r--r-- | 142 | root |
root |
/usr/lib/Singular/examples/uniquePoint.sing
|
-rw-r--r-- | 85 | root |
root |
/usr/lib/Singular/examples/unitmat.sing
|
-rw-r--r-- | 126 | root |
root |
/usr/lib/Singular/examples/univariate.sing
|
-rw-r--r-- | 89 | root |
root |
/usr/lib/Singular/examples/univarpoly.sing
|
-rw-r--r-- | 243 | root |
root |
/usr/lib/Singular/examples/updatePairs.sing
|
-rw-r--r-- | 179 | root |
root |
/usr/lib/Singular/examples/ures_solve.sing
|
-rw-r--r-- | 93 | root |
root |
/usr/lib/Singular/examples/valvars.sing
|
-rw-r--r-- | 355 | root |
root |
/usr/lib/Singular/examples/vandermonde.sing
|
-rw-r--r-- | 276 | root |
root |
/usr/lib/Singular/examples/vanishId.sing
|
-rw-r--r-- | 33 | root |
root |
/usr/lib/Singular/examples/var.sing
|
-rw-r--r-- | 92 | root |
root |
/usr/lib/Singular/examples/varNum.sing
|
-rw-r--r-- | 130 | root |
root |
/usr/lib/Singular/examples/variables.sing
|
-rw-r--r-- | 253 | root |
root |
/usr/lib/Singular/examples/variablesSorted.sing
|
-rw-r--r-- | 220 | root |
root |
/usr/lib/Singular/examples/variablesStandard.sing
|
-rw-r--r-- | 98 | root |
root |
/usr/lib/Singular/examples/varsigns.sing
|
-rw-r--r-- | 64 | root |
root |
/usr/lib/Singular/examples/varstr.sing
|
-rw-r--r-- | 178 | root |
root |
/usr/lib/Singular/examples/vct2str.sing
|
-rw-r--r-- | 73 | root |
root |
/usr/lib/Singular/examples/vdim.sing
|
-rw-r--r-- | 194 | root |
root |
/usr/lib/Singular/examples/vdim_BR_PLURAL_BR.sing
|
-rw-r--r-- | 129 | root |
root |
/usr/lib/Singular/examples/vec2poly.sing
|
-rw-r--r-- | 171 | root |
root |
/usr/lib/Singular/examples/vector_declarations.sing
|
-rw-r--r-- | 279 | root |
root |
/usr/lib/Singular/examples/vector_expressions.sing
|
-rw-r--r-- | 56 | root |
root |
/usr/lib/Singular/examples/vector_operations.sing
|
-rw-r--r-- | 167 | root |
root |
/usr/lib/Singular/examples/verify.sing
|
-rw-r--r-- | 368 | root |
root |
/usr/lib/Singular/examples/versal.sing
|
-rw-r--r-- | 97 | root |
root |
/usr/lib/Singular/examples/vertices.sing
|
-rw-r--r-- | 67 | root |
root |
/usr/lib/Singular/examples/vfilt.sing
|
-rw-r--r-- | 147 | root |
root |
/usr/lib/Singular/examples/view.sing
|
-rw-r--r-- | 164 | root |
root |
/usr/lib/Singular/examples/visualize.sing
|
-rw-r--r-- | 9 | root |
root |
/usr/lib/Singular/examples/voice.sing
|
-rw-r--r-- | 68 | root |
root |
/usr/lib/Singular/examples/vwfilt.sing
|
-rw-r--r-- | 58 | root |
root |
/usr/lib/Singular/examples/wUnit.sing
|
-rw-r--r-- | 417 | root |
root |
/usr/lib/Singular/examples/waitall.sing
|
-rw-r--r-- | 434 | root |
root |
/usr/lib/Singular/examples/waitfirst.sing
|
-rw-r--r-- | 152 | root |
root |
/usr/lib/Singular/examples/watchdog.sing
|
-rw-r--r-- | 73 | root |
root |
/usr/lib/Singular/examples/wedge.sing
|
-rw-r--r-- | 175 | root |
root |
/usr/lib/Singular/examples/weierstrDiv.sing
|
-rw-r--r-- | 151 | root |
root |
/usr/lib/Singular/examples/weierstrPrep.sing
|
-rw-r--r-- | 220 | root |
root |
/usr/lib/Singular/examples/weight.sing
|
-rw-r--r-- | 62 | root |
root |
/usr/lib/Singular/examples/weightKB.sing
|
-rw-r--r-- | 236 | root |
root |
/usr/lib/Singular/examples/weightedRing.sing
|
-rw-r--r-- | 79 | root |
root |
/usr/lib/Singular/examples/whichvariable.sing
|
-rw-r--r-- | 422 | root |
root |
/usr/lib/Singular/examples/writeNmzData.sing
|
-rw-r--r-- | 163 | root |
root |
/usr/lib/Singular/examples/writeNmzPaths.sing
|
-rw-r--r-- | 61 | root |
root |
/usr/lib/Singular/examples/wurzel.sing
|
-rw-r--r-- | 155 | root |
root |
/usr/lib/Singular/examples/xchange.sing
|
-rw-r--r-- | 198 | root |
root |
/usr/lib/Singular/examples/xdvi.sing
|
-rw-r--r-- | 102 | root |
root |
/usr/lib/Singular/examples/zeroMod.sing
|
-rw-r--r-- | 102 | root |
root |
/usr/lib/Singular/examples/zeroOpt.sing
|
-rw-r--r-- | 105 | root |
root |
/usr/lib/Singular/examples/zeroRadical.sing
|
-rw-r--r-- | 248 | root |
root |
/usr/lib/Singular/examples/zeroSet.sing
|
-rw-r--r-- | 88 | root |
root |
/usr/lib/Singular/examples/zerodec.sing
|
-rw-r--r-- | 282 | root |
root |
/usr/lib/Singular/examples/zetaDL.sing
|