Changeset 1caa72 in git
- Timestamp:
- Apr 6, 1998, 7:59:38 PM (26 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 9f9c432f0eded9cd7cfa4c8b1d6655d42f8fb900
- Parents:
- d336d53da70515a0ed2ed294fdce5f4768ee4d95
- Location:
- Singular
- Files:
-
- 1 added
- 19 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/ChangeLog
rd336d53 r1caa72 1 1998-04-06 Olaf Bachmann <obachman@mathematik.uni-kl.de> 2 3 * spSpolyLoop.h: neww calling interface for spGetSpolyLoop 4 5 * kstd1.cc (kNF): moved strat->ak field initailization out of 6 initBuchMora into single routines 7 8 * febase.cc (feGetSearchPath): added feGetSearchPath; changed 9 algorithm for searching files: $SINGULARPATH -> relative to 10 executable -> burnt-in locations 11 * added find_exec.c to get absolute pathname of executable 12 1 13 Mon Apr 6 14:23:52 1998 Jens Schmidt <schmidt@mathematik.uni-kl.de> 2 14 -
Singular/LIB/poly.lib
rd336d53 r1caa72 1 // $Id: poly.lib,v 1.1 0 1998-04-03 22:47:09 kruegerExp $1 // $Id: poly.lib,v 1.11 1998-04-06 17:59:38 obachman Exp $ 2 2 //system("random",787422842); 3 3 //(GMG, last modified 22.06.96) … … 5 5 /////////////////////////////////////////////////////////////////////////////// 6 6 7 version="$Id: poly.lib,v 1.1 0 1998-04-03 22:47:09 kruegerExp $";7 version="$Id: poly.lib,v 1.11 1998-04-06 17:59:38 obachman Exp $"; 8 8 info=" 9 9 LIBRARY: poly.lib PROCEDURES FOR MANIPULATING POLYS, IDEALS, MODULES … … 22 22 normalize(poly/...); normalize poly/... such that leading coefficient is 1 23 23 rad_con(p,I); check radical containment of poly p in ideal I 24 (parameters in square brackets [] are optional) 24 content(f); content of polynomial/vector f 25 (parameters in square brackets [] are optional) 25 26 "; 26 27 -
Singular/Makefile.in
rd336d53 r1caa72 99 99 ndbm.cc spSpolyLoop.cc libparse.cc 100 100 101 CSOURCES=mmalloc.c mmallocb.c mmallocs.c mmblock.c mmheap.c mmspec.c mmutil.c weight0.c 101 CSOURCES=mmalloc.c mmallocb.c mmallocs.c mmblock.c mmheap.c mmspec.c mmutil.c weight0.c find_exec.c 102 102 103 103 SOURCES=${CSOURCES} ${CXXSOURCES} grammar.y scanner.l libparse.l spSpolyLoop.pl … … 143 143 algmap.o clapconv.o clapmem.o clapsing.o claptmpl.o\ 144 144 mpsr_Error.o mpsr_Put.o mpsr_PutPoly.o mpsr_GetPoly.o \ 145 mpsr_Get.o mpsr_GetMisc.o ndbm.o spSpolyLoop.o libparse.o 145 mpsr_Get.o mpsr_GetMisc.o ndbm.o spSpolyLoop.o libparse.o \ 146 find_exec.o 146 147 147 148 ## … … 394 395 mpsr_Error.og mpsr_Put.og mpsr_PutPoly.og mpsr_GetPoly.og \ 395 396 mpsr_Get.og mpsr_GetMisc.og \ 396 ndbm.og spSpolyLoop.og libparse.og 397 ndbm.og spSpolyLoop.og libparse.og \ 397 398 398 399 OBJG2= mmalloc.og mmallocb.og mmallocs.og mmblock.og mmheap.og \ 399 mmspec.og mmutil.og weight0.og 400 mmspec.og mmutil.og weight0.og find_exec.og 401 400 402 401 403 OBJG=$(OBJG1) $(OBJG2) claptmpl.og … … 470 472 471 473 OBJP2= mmalloc.op mmallocb.op mmallocs.op mmblock.op mmheap.op \ 472 mmspec.op mmutil.op weight0.op 474 mmspec.op mmutil.op weight0.op find_exec.op 473 475 474 476 OBJP=$(OBJP1) $(OBJP2) claptmpl.op … … 492 494 mpsr_Error.ob mpsr_Put.ob mpsr_PutPoly.ob mpsr_GetPoly.ob \ 493 495 mpsr_Get.ob mpsr_GetMisc.ob \ 494 ndbm.ob spSpolyLoop.ob libparse.ob 496 ndbm.ob spSpolyLoop.ob libparse.ob 495 497 496 498 OBJB2= mmalloc.ob mmallocb.ob mmallocs.ob mmblock.ob mmheap.ob \ 497 mmspec.ob mmutil.ob weight0.ob 499 mmspec.ob mmutil.ob weight0.ob find_exec.ob 498 500 499 501 OBJB=$(OBJB1) $(OBJB2) claptmpl.ob -
Singular/configure
rd336d53 r1caa72 2415 2415 fi 2416 2416 2417 echo $ac_n "checking whether stat file-mode macros are broken""... $ac_c" 1>&6 2418 echo "configure:2419: checking whether stat file-mode macros are broken" >&5 2419 if eval "test \"`echo '$''{'ac_cv_header_stat_broken'+set}'`\" = set"; then 2420 echo $ac_n "(cached) $ac_c" 1>&6 2421 else 2422 cat > conftest.$ac_ext <<EOF 2423 #line 2424 "configure" 2424 #include "confdefs.h" 2425 #include <sys/types.h> 2426 #include <sys/stat.h> 2427 2428 #if defined(S_ISBLK) && defined(S_IFDIR) 2429 # if S_ISBLK (S_IFDIR) 2430 You lose. 2431 # endif 2432 #endif 2433 2434 #if defined(S_ISBLK) && defined(S_IFCHR) 2435 # if S_ISBLK (S_IFCHR) 2436 You lose. 2437 # endif 2438 #endif 2439 2440 #if defined(S_ISLNK) && defined(S_IFREG) 2441 # if S_ISLNK (S_IFREG) 2442 You lose. 2443 # endif 2444 #endif 2445 2446 #if defined(S_ISSOCK) && defined(S_IFREG) 2447 # if S_ISSOCK (S_IFREG) 2448 You lose. 2449 # endif 2450 #endif 2451 2452 EOF 2453 if (eval "$ac_cpp conftest.$ac_ext") 2>&5 | 2454 egrep "You lose" >/dev/null 2>&1; then 2455 rm -rf conftest* 2456 ac_cv_header_stat_broken=yes 2457 else 2458 rm -rf conftest* 2459 ac_cv_header_stat_broken=no 2460 fi 2461 rm -f conftest* 2462 2463 fi 2464 2465 echo "$ac_t""$ac_cv_header_stat_broken" 1>&6 2466 if test $ac_cv_header_stat_broken = yes; then 2467 cat >> confdefs.h <<\EOF 2468 #define STAT_MACROS_BROKEN 1 2469 EOF 2470 2471 fi 2417 2472 2418 2473 for ac_hdr in limits.h unistd.h … … 2420 2475 ac_safe=`echo "$ac_hdr" | sed 'y%./+-%__p_%'` 2421 2476 echo $ac_n "checking for $ac_hdr""... $ac_c" 1>&6 2422 echo "configure:24 23: checking for $ac_hdr" >&52477 echo "configure:2478: checking for $ac_hdr" >&5 2423 2478 if eval "test \"`echo '$''{'ac_cv_header_$ac_safe'+set}'`\" = set"; then 2424 2479 echo $ac_n "(cached) $ac_c" 1>&6 2425 2480 else 2426 2481 cat > conftest.$ac_ext <<EOF 2427 #line 24 28"configure"2482 #line 2483 "configure" 2428 2483 #include "confdefs.h" 2429 2484 #include <$ac_hdr> 2430 2485 EOF 2431 2486 ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out" 2432 { (eval echo configure:24 33: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }2487 { (eval echo configure:2488: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; } 2433 2488 ac_err=`grep -v '^ *+' conftest.out` 2434 2489 if test -z "$ac_err"; then … … 2458 2513 2459 2514 2460 for ac_hdr in sys/file.h sys/ioctl.h sys/time.h sys/times.h sys/types.h sys/stat.h fcntl.h 2515 for ac_hdr in sys/file.h sys/ioctl.h sys/time.h sys/times.h sys/types.h sys/stat.h fcntl.h sys/param.h pwd.h 2461 2516 do 2462 2517 ac_safe=`echo "$ac_hdr" | sed 'y%./+-%__p_%'` 2463 2518 echo $ac_n "checking for $ac_hdr""... $ac_c" 1>&6 2464 echo "configure:2 465: checking for $ac_hdr" >&52519 echo "configure:2520: checking for $ac_hdr" >&5 2465 2520 if eval "test \"`echo '$''{'ac_cv_header_$ac_safe'+set}'`\" = set"; then 2466 2521 echo $ac_n "(cached) $ac_c" 1>&6 2467 2522 else 2468 2523 cat > conftest.$ac_ext <<EOF 2469 #line 2 470"configure"2524 #line 2525 "configure" 2470 2525 #include "confdefs.h" 2471 2526 #include <$ac_hdr> 2472 2527 EOF 2473 2528 ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out" 2474 { (eval echo configure:2 475: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }2529 { (eval echo configure:2530: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; } 2475 2530 ac_err=`grep -v '^ *+' conftest.out` 2476 2531 if test -z "$ac_err"; then … … 2501 2556 WITH_DBM=no 2502 2557 echo $ac_n "checking whether to build with dbm links""... $ac_c" 1>&6 2503 echo "configure:25 04: checking whether to build with dbm links" >&52558 echo "configure:2559: checking whether to build with dbm links" >&5 2504 2559 if test "$with_dbm" != no; then 2505 2560 cat >> confdefs.h <<\EOF … … 2515 2570 2516 2571 echo $ac_n "checking for working const""... $ac_c" 1>&6 2517 echo "configure:25 18: checking for working const" >&52572 echo "configure:2573: checking for working const" >&5 2518 2573 if eval "test \"`echo '$''{'ac_cv_c_const'+set}'`\" = set"; then 2519 2574 echo $ac_n "(cached) $ac_c" 1>&6 2520 2575 else 2521 2576 cat > conftest.$ac_ext <<EOF 2522 #line 25 23"configure"2577 #line 2578 "configure" 2523 2578 #include "confdefs.h" 2524 2579 … … 2569 2624 ; return 0; } 2570 2625 EOF 2571 if { (eval echo configure:2 572: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then2626 if { (eval echo configure:2627: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then 2572 2627 rm -rf conftest* 2573 2628 ac_cv_c_const=yes … … 2590 2645 2591 2646 echo $ac_n "checking for inline""... $ac_c" 1>&6 2592 echo "configure:2 593: checking for inline" >&52647 echo "configure:2648: checking for inline" >&5 2593 2648 if eval "test \"`echo '$''{'ac_cv_c_inline'+set}'`\" = set"; then 2594 2649 echo $ac_n "(cached) $ac_c" 1>&6 … … 2597 2652 for ac_kw in inline __inline__ __inline; do 2598 2653 cat > conftest.$ac_ext <<EOF 2599 #line 26 00"configure"2654 #line 2655 "configure" 2600 2655 #include "confdefs.h" 2601 2656 … … 2604 2659 ; return 0; } 2605 2660 EOF 2606 if { (eval echo configure:26 07: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then2661 if { (eval echo configure:2662: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then 2607 2662 rm -rf conftest* 2608 2663 ac_cv_c_inline=$ac_kw; break … … 2630 2685 2631 2686 echo $ac_n "checking for size_t""... $ac_c" 1>&6 2632 echo "configure:26 33: checking for size_t" >&52687 echo "configure:2688: checking for size_t" >&5 2633 2688 if eval "test \"`echo '$''{'ac_cv_type_size_t'+set}'`\" = set"; then 2634 2689 echo $ac_n "(cached) $ac_c" 1>&6 2635 2690 else 2636 2691 cat > conftest.$ac_ext <<EOF 2637 #line 26 38"configure"2692 #line 2693 "configure" 2638 2693 #include "confdefs.h" 2639 2694 #include <sys/types.h> … … 2663 2718 2664 2719 echo $ac_n "checking whether time.h and sys/time.h may both be included""... $ac_c" 1>&6 2665 echo "configure:2 666: checking whether time.h and sys/time.h may both be included" >&52720 echo "configure:2721: checking whether time.h and sys/time.h may both be included" >&5 2666 2721 if eval "test \"`echo '$''{'ac_cv_header_time'+set}'`\" = set"; then 2667 2722 echo $ac_n "(cached) $ac_c" 1>&6 2668 2723 else 2669 2724 cat > conftest.$ac_ext <<EOF 2670 #line 2 671"configure"2725 #line 2726 "configure" 2671 2726 #include "confdefs.h" 2672 2727 #include <sys/types.h> … … 2677 2732 ; return 0; } 2678 2733 EOF 2679 if { (eval echo configure:2 680: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then2734 if { (eval echo configure:2735: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then 2680 2735 rm -rf conftest* 2681 2736 ac_cv_header_time=yes … … 2698 2753 2699 2754 echo $ac_n "checking whether struct tm is in sys/time.h or time.h""... $ac_c" 1>&6 2700 echo "configure:27 01: checking whether struct tm is in sys/time.h or time.h" >&52755 echo "configure:2756: checking whether struct tm is in sys/time.h or time.h" >&5 2701 2756 if eval "test \"`echo '$''{'ac_cv_struct_tm'+set}'`\" = set"; then 2702 2757 echo $ac_n "(cached) $ac_c" 1>&6 2703 2758 else 2704 2759 cat > conftest.$ac_ext <<EOF 2705 #line 27 06"configure"2760 #line 2761 "configure" 2706 2761 #include "confdefs.h" 2707 2762 #include <sys/types.h> … … 2711 2766 ; return 0; } 2712 2767 EOF 2713 if { (eval echo configure:27 14: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then2768 if { (eval echo configure:2769: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then 2714 2769 rm -rf conftest* 2715 2770 ac_cv_struct_tm=time.h … … 2735 2790 # for constant arguments. Useless! 2736 2791 echo $ac_n "checking for working alloca.h""... $ac_c" 1>&6 2737 echo "configure:27 38: checking for working alloca.h" >&52792 echo "configure:2793: checking for working alloca.h" >&5 2738 2793 if eval "test \"`echo '$''{'ac_cv_header_alloca_h'+set}'`\" = set"; then 2739 2794 echo $ac_n "(cached) $ac_c" 1>&6 2740 2795 else 2741 2796 cat > conftest.$ac_ext <<EOF 2742 #line 27 43"configure"2797 #line 2798 "configure" 2743 2798 #include "confdefs.h" 2744 2799 #include <alloca.h> … … 2747 2802 ; return 0; } 2748 2803 EOF 2749 if { (eval echo configure:2 750: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest; then2804 if { (eval echo configure:2805: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest; then 2750 2805 rm -rf conftest* 2751 2806 ac_cv_header_alloca_h=yes … … 2768 2823 2769 2824 echo $ac_n "checking for alloca""... $ac_c" 1>&6 2770 echo "configure:2 771: checking for alloca" >&52825 echo "configure:2826: checking for alloca" >&5 2771 2826 if eval "test \"`echo '$''{'ac_cv_func_alloca_works'+set}'`\" = set"; then 2772 2827 echo $ac_n "(cached) $ac_c" 1>&6 2773 2828 else 2774 2829 cat > conftest.$ac_ext <<EOF 2775 #line 2 776"configure"2830 #line 2831 "configure" 2776 2831 #include "confdefs.h" 2777 2832 … … 2796 2851 ; return 0; } 2797 2852 EOF 2798 if { (eval echo configure:2 799: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest; then2853 if { (eval echo configure:2854: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest; then 2799 2854 rm -rf conftest* 2800 2855 ac_cv_func_alloca_works=yes … … 2828 2883 2829 2884 echo $ac_n "checking whether alloca needs Cray hooks""... $ac_c" 1>&6 2830 echo "configure:28 31: checking whether alloca needs Cray hooks" >&52885 echo "configure:2886: checking whether alloca needs Cray hooks" >&5 2831 2886 if eval "test \"`echo '$''{'ac_cv_os_cray'+set}'`\" = set"; then 2832 2887 echo $ac_n "(cached) $ac_c" 1>&6 2833 2888 else 2834 2889 cat > conftest.$ac_ext <<EOF 2835 #line 28 36"configure"2890 #line 2891 "configure" 2836 2891 #include "confdefs.h" 2837 2892 #if defined(CRAY) && ! defined(CRAY2) … … 2858 2913 for ac_func in _getb67 GETB67 getb67; do 2859 2914 echo $ac_n "checking for $ac_func""... $ac_c" 1>&6 2860 echo "configure:2 861: checking for $ac_func" >&52915 echo "configure:2916: checking for $ac_func" >&5 2861 2916 if eval "test \"`echo '$''{'ac_cv_func_$ac_func'+set}'`\" = set"; then 2862 2917 echo $ac_n "(cached) $ac_c" 1>&6 2863 2918 else 2864 2919 cat > conftest.$ac_ext <<EOF 2865 #line 2 866"configure"2920 #line 2921 "configure" 2866 2921 #include "confdefs.h" 2867 2922 /* System header to define __stub macros and hopefully few prototypes, … … 2886 2941 ; return 0; } 2887 2942 EOF 2888 if { (eval echo configure:2 889: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest; then2943 if { (eval echo configure:2944: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest; then 2889 2944 rm -rf conftest* 2890 2945 eval "ac_cv_func_$ac_func=yes" … … 2913 2968 2914 2969 echo $ac_n "checking stack direction for C alloca""... $ac_c" 1>&6 2915 echo "configure:29 16: checking stack direction for C alloca" >&52970 echo "configure:2971: checking stack direction for C alloca" >&5 2916 2971 if eval "test \"`echo '$''{'ac_cv_c_stack_direction'+set}'`\" = set"; then 2917 2972 echo $ac_n "(cached) $ac_c" 1>&6 … … 2921 2976 else 2922 2977 cat > conftest.$ac_ext <<EOF 2923 #line 29 24"configure"2978 #line 2979 "configure" 2924 2979 #include "confdefs.h" 2925 2980 find_stack_direction () … … 2940 2995 } 2941 2996 EOF 2942 if { (eval echo configure:29 43: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null2997 if { (eval echo configure:2998: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null 2943 2998 then 2944 2999 ac_cv_c_stack_direction=1 … … 2963 3018 if test $ac_cv_prog_gcc = yes; then 2964 3019 echo $ac_n "checking whether ${CC-cc} needs -traditional""... $ac_c" 1>&6 2965 echo "configure: 2966: checking whether ${CC-cc} needs -traditional" >&53020 echo "configure:3021: checking whether ${CC-cc} needs -traditional" >&5 2966 3021 if eval "test \"`echo '$''{'ac_cv_prog_gcc_traditional'+set}'`\" = set"; then 2967 3022 echo $ac_n "(cached) $ac_c" 1>&6 … … 2969 3024 ac_pattern="Autoconf.*'x'" 2970 3025 cat > conftest.$ac_ext <<EOF 2971 #line 2972"configure"3026 #line 3027 "configure" 2972 3027 #include "confdefs.h" 2973 3028 #include <sgtty.h> … … 2987 3042 if test $ac_cv_prog_gcc_traditional = no; then 2988 3043 cat > conftest.$ac_ext <<EOF 2989 #line 2990"configure"3044 #line 3045 "configure" 2990 3045 #include "confdefs.h" 2991 3046 #include <termio.h> … … 3012 3067 ac_safe=`echo "$ac_hdr" | sed 'y%./+-%__p_%'` 3013 3068 echo $ac_n "checking for $ac_hdr""... $ac_c" 1>&6 3014 echo "configure:30 15: checking for $ac_hdr" >&53069 echo "configure:3070: checking for $ac_hdr" >&5 3015 3070 if eval "test \"`echo '$''{'ac_cv_header_$ac_safe'+set}'`\" = set"; then 3016 3071 echo $ac_n "(cached) $ac_c" 1>&6 3017 3072 else 3018 3073 cat > conftest.$ac_ext <<EOF 3019 #line 30 20"configure"3074 #line 3075 "configure" 3020 3075 #include "confdefs.h" 3021 3076 #include <$ac_hdr> 3022 3077 EOF 3023 3078 ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out" 3024 { (eval echo configure:30 25: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }3079 { (eval echo configure:3080: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; } 3025 3080 ac_err=`grep -v '^ *+' conftest.out` 3026 3081 if test -z "$ac_err"; then … … 3051 3106 do 3052 3107 echo $ac_n "checking for $ac_func""... $ac_c" 1>&6 3053 echo "configure:3 054: checking for $ac_func" >&53108 echo "configure:3109: checking for $ac_func" >&5 3054 3109 if eval "test \"`echo '$''{'ac_cv_func_$ac_func'+set}'`\" = set"; then 3055 3110 echo $ac_n "(cached) $ac_c" 1>&6 3056 3111 else 3057 3112 cat > conftest.$ac_ext <<EOF 3058 #line 3 059"configure"3113 #line 3114 "configure" 3059 3114 #include "confdefs.h" 3060 3115 /* System header to define __stub macros and hopefully few prototypes, … … 3079 3134 ; return 0; } 3080 3135 EOF 3081 if { (eval echo configure:3 082: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest; then3136 if { (eval echo configure:3137: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest; then 3082 3137 rm -rf conftest* 3083 3138 eval "ac_cv_func_$ac_func=yes" … … 3104 3159 3105 3160 echo $ac_n "checking for working mmap""... $ac_c" 1>&6 3106 echo "configure:31 07: checking for working mmap" >&53161 echo "configure:3162: checking for working mmap" >&5 3107 3162 if eval "test \"`echo '$''{'ac_cv_func_mmap_fixed_mapped'+set}'`\" = set"; then 3108 3163 echo $ac_n "(cached) $ac_c" 1>&6 … … 3112 3167 else 3113 3168 cat > conftest.$ac_ext <<EOF 3114 #line 31 15"configure"3169 #line 3170 "configure" 3115 3170 #include "confdefs.h" 3116 3171 … … 3252 3307 3253 3308 EOF 3254 if { (eval echo configure:3 255: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null3309 if { (eval echo configure:3310: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null 3255 3310 then 3256 3311 ac_cv_func_mmap_fixed_mapped=yes … … 3275 3330 3276 3331 echo $ac_n "checking return type of signal handlers""... $ac_c" 1>&6 3277 echo "configure:3 278: checking return type of signal handlers" >&53332 echo "configure:3333: checking return type of signal handlers" >&5 3278 3333 if eval "test \"`echo '$''{'ac_cv_type_signal'+set}'`\" = set"; then 3279 3334 echo $ac_n "(cached) $ac_c" 1>&6 3280 3335 else 3281 3336 cat > conftest.$ac_ext <<EOF 3282 #line 3 283"configure"3337 #line 3338 "configure" 3283 3338 #include "confdefs.h" 3284 3339 #include <sys/types.h> … … 3297 3352 ; return 0; } 3298 3353 EOF 3299 if { (eval echo configure:33 00: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then3354 if { (eval echo configure:3355: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then 3300 3355 rm -rf conftest* 3301 3356 ac_cv_type_signal=void … … 3316 3371 3317 3372 echo $ac_n "checking for vprintf""... $ac_c" 1>&6 3318 echo "configure:33 19: checking for vprintf" >&53373 echo "configure:3374: checking for vprintf" >&5 3319 3374 if eval "test \"`echo '$''{'ac_cv_func_vprintf'+set}'`\" = set"; then 3320 3375 echo $ac_n "(cached) $ac_c" 1>&6 3321 3376 else 3322 3377 cat > conftest.$ac_ext <<EOF 3323 #line 33 24"configure"3378 #line 3379 "configure" 3324 3379 #include "confdefs.h" 3325 3380 /* System header to define __stub macros and hopefully few prototypes, … … 3344 3399 ; return 0; } 3345 3400 EOF 3346 if { (eval echo configure:3 347: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest; then3401 if { (eval echo configure:3402: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest; then 3347 3402 rm -rf conftest* 3348 3403 eval "ac_cv_func_vprintf=yes" … … 3368 3423 if test "$ac_cv_func_vprintf" != yes; then 3369 3424 echo $ac_n "checking for _doprnt""... $ac_c" 1>&6 3370 echo "configure:3 371: checking for _doprnt" >&53425 echo "configure:3426: checking for _doprnt" >&5 3371 3426 if eval "test \"`echo '$''{'ac_cv_func__doprnt'+set}'`\" = set"; then 3372 3427 echo $ac_n "(cached) $ac_c" 1>&6 3373 3428 else 3374 3429 cat > conftest.$ac_ext <<EOF 3375 #line 3 376"configure"3430 #line 3431 "configure" 3376 3431 #include "confdefs.h" 3377 3432 /* System header to define __stub macros and hopefully few prototypes, … … 3396 3451 ; return 0; } 3397 3452 EOF 3398 if { (eval echo configure:3 399: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest; then3453 if { (eval echo configure:3454: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest; then 3399 3454 rm -rf conftest* 3400 3455 eval "ac_cv_func__doprnt=yes" … … 3420 3475 fi 3421 3476 3422 for ac_func in gettimeofday strstr strtod strtol atexit bcopy 3477 for ac_func in gettimeofday strstr strtod strtol atexit bcopy getcwd getwd 3423 3478 do 3424 3479 echo $ac_n "checking for $ac_func""... $ac_c" 1>&6 3425 echo "configure:34 26: checking for $ac_func" >&53480 echo "configure:3481: checking for $ac_func" >&5 3426 3481 if eval "test \"`echo '$''{'ac_cv_func_$ac_func'+set}'`\" = set"; then 3427 3482 echo $ac_n "(cached) $ac_c" 1>&6 3428 3483 else 3429 3484 cat > conftest.$ac_ext <<EOF 3430 #line 34 31"configure"3485 #line 3486 "configure" 3431 3486 #include "confdefs.h" 3432 3487 /* System header to define __stub macros and hopefully few prototypes, … … 3451 3506 ; return 0; } 3452 3507 EOF 3453 if { (eval echo configure:3 454: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest; then3508 if { (eval echo configure:3509: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest; then 3454 3509 rm -rf conftest* 3455 3510 eval "ac_cv_func_$ac_func=yes" … … 3478 3533 3479 3534 echo $ac_n "checking whether your machine has correct arithmetic shifts""... $ac_c" 1>&6 3480 echo "configure:3 481: checking whether your machine has correct arithmetic shifts" >&53535 echo "configure:3536: checking whether your machine has correct arithmetic shifts" >&5 3481 3536 if eval "test \"`echo '$''{'ac_cv_shift'+set}'`\" = set"; then 3482 3537 echo $ac_n "(cached) $ac_c" 1>&6 … … 3491 3546 else 3492 3547 cat > conftest.$ac_ext <<EOF 3493 #line 3 494"configure"3548 #line 3549 "configure" 3494 3549 #include "confdefs.h" 3495 3550 int main() { if (-2 >> 1 == -1) exit(0); else exit(1); } 3496 3551 EOF 3497 if { (eval echo configure:3 498: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null3552 if { (eval echo configure:3553: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null 3498 3553 then 3499 3554 ac_cv_shift=yes … … 3518 3573 3519 3574 echo $ac_n "checking whether vsprintf returns number of printed chars""... $ac_c" 1>&6 3520 echo "configure:35 21: checking whether vsprintf returns number of printed chars" >&53575 echo "configure:3576: checking whether vsprintf returns number of printed chars" >&5 3521 3576 if eval "test \"`echo '$''{'ac_cv_returns_n_of_chars'+set}'`\" = set"; then 3522 3577 echo $ac_n "(cached) $ac_c" 1>&6 … … 3526 3581 else 3527 3582 cat > conftest.$ac_ext <<EOF 3528 #line 35 29"configure"3583 #line 3584 "configure" 3529 3584 #include "confdefs.h" 3530 3585 #include <stdio.h> 3531 3586 main() { char *str=(char*)malloc(20); if (((int) sprintf(str,"123456789")) == 9) exit(0); else exit(1); } 3532 3587 EOF 3533 if { (eval echo configure:35 34: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null3588 if { (eval echo configure:3589: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null 3534 3589 then 3535 3590 ac_cv_returns_n_of_chars=yes … … 3557 3612 3558 3613 echo $ac_n "checking size of char""... $ac_c" 1>&6 3559 echo "configure:3 560: checking size of char" >&53614 echo "configure:3615: checking size of char" >&5 3560 3615 if eval "test \"`echo '$''{'ac_cv_sizeof_char'+set}'`\" = set"; then 3561 3616 echo $ac_n "(cached) $ac_c" 1>&6 … … 3565 3620 else 3566 3621 cat > conftest.$ac_ext <<EOF 3567 #line 3 568"configure"3622 #line 3623 "configure" 3568 3623 #include "confdefs.h" 3569 3624 #include <stdio.h> … … 3576 3631 } 3577 3632 EOF 3578 if { (eval echo configure:3 579: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null3633 if { (eval echo configure:3634: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null 3579 3634 then 3580 3635 ac_cv_sizeof_char=`cat conftestval` … … 3596 3651 3597 3652 echo $ac_n "checking size of short""... $ac_c" 1>&6 3598 echo "configure:3 599: checking size of short" >&53653 echo "configure:3654: checking size of short" >&5 3599 3654 if eval "test \"`echo '$''{'ac_cv_sizeof_short'+set}'`\" = set"; then 3600 3655 echo $ac_n "(cached) $ac_c" 1>&6 … … 3604 3659 else 3605 3660 cat > conftest.$ac_ext <<EOF 3606 #line 36 07"configure"3661 #line 3662 "configure" 3607 3662 #include "confdefs.h" 3608 3663 #include <stdio.h> … … 3615 3670 } 3616 3671 EOF 3617 if { (eval echo configure:36 18: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null3672 if { (eval echo configure:3673: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null 3618 3673 then 3619 3674 ac_cv_sizeof_short=`cat conftestval` … … 3635 3690 3636 3691 echo $ac_n "checking size of int""... $ac_c" 1>&6 3637 echo "configure:36 38: checking size of int" >&53692 echo "configure:3693: checking size of int" >&5 3638 3693 if eval "test \"`echo '$''{'ac_cv_sizeof_int'+set}'`\" = set"; then 3639 3694 echo $ac_n "(cached) $ac_c" 1>&6 … … 3643 3698 else 3644 3699 cat > conftest.$ac_ext <<EOF 3645 #line 3 646"configure"3700 #line 3701 "configure" 3646 3701 #include "confdefs.h" 3647 3702 #include <stdio.h> … … 3654 3709 } 3655 3710 EOF 3656 if { (eval echo configure:3 657: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null3711 if { (eval echo configure:3712: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null 3657 3712 then 3658 3713 ac_cv_sizeof_int=`cat conftestval` … … 3674 3729 3675 3730 echo $ac_n "checking size of long""... $ac_c" 1>&6 3676 echo "configure:3 677: checking size of long" >&53731 echo "configure:3732: checking size of long" >&5 3677 3732 if eval "test \"`echo '$''{'ac_cv_sizeof_long'+set}'`\" = set"; then 3678 3733 echo $ac_n "(cached) $ac_c" 1>&6 … … 3682 3737 else 3683 3738 cat > conftest.$ac_ext <<EOF 3684 #line 3 685"configure"3739 #line 3740 "configure" 3685 3740 #include "confdefs.h" 3686 3741 #include <stdio.h> … … 3693 3748 } 3694 3749 EOF 3695 if { (eval echo configure:3 696: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null3750 if { (eval echo configure:3751: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null 3696 3751 then 3697 3752 ac_cv_sizeof_long=`cat conftestval` … … 3713 3768 3714 3769 echo $ac_n "checking size of void*""... $ac_c" 1>&6 3715 echo "configure:37 16: checking size of void*" >&53770 echo "configure:3771: checking size of void*" >&5 3716 3771 if eval "test \"`echo '$''{'ac_cv_sizeof_voidp'+set}'`\" = set"; then 3717 3772 echo $ac_n "(cached) $ac_c" 1>&6 … … 3721 3776 else 3722 3777 cat > conftest.$ac_ext <<EOF 3723 #line 37 24"configure"3778 #line 3779 "configure" 3724 3779 #include "confdefs.h" 3725 3780 #include <stdio.h> … … 3732 3787 } 3733 3788 EOF 3734 if { (eval echo configure:37 35: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null3789 if { (eval echo configure:3790: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null 3735 3790 then 3736 3791 ac_cv_sizeof_voidp=`cat conftestval` … … 3752 3807 3753 3808 echo $ac_n "checking whether byte ordering is bigendian""... $ac_c" 1>&6 3754 echo "configure:3 755: checking whether byte ordering is bigendian" >&53809 echo "configure:3810: checking whether byte ordering is bigendian" >&5 3755 3810 if eval "test \"`echo '$''{'ac_cv_c_bigendian'+set}'`\" = set"; then 3756 3811 echo $ac_n "(cached) $ac_c" 1>&6 … … 3759 3814 # See if sys/param.h defines the BYTE_ORDER macro. 3760 3815 cat > conftest.$ac_ext <<EOF 3761 #line 3 762"configure"3816 #line 3817 "configure" 3762 3817 #include "confdefs.h" 3763 3818 #include <sys/types.h> … … 3770 3825 ; return 0; } 3771 3826 EOF 3772 if { (eval echo configure:3 773: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then3827 if { (eval echo configure:3828: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then 3773 3828 rm -rf conftest* 3774 3829 # It does; now see whether it defined to BIG_ENDIAN or not. 3775 3830 cat > conftest.$ac_ext <<EOF 3776 #line 3 777"configure"3831 #line 3832 "configure" 3777 3832 #include "confdefs.h" 3778 3833 #include <sys/types.h> … … 3785 3840 ; return 0; } 3786 3841 EOF 3787 if { (eval echo configure:3 788: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then3842 if { (eval echo configure:3843: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then 3788 3843 rm -rf conftest* 3789 3844 ac_cv_c_bigendian=yes … … 3805 3860 else 3806 3861 cat > conftest.$ac_ext <<EOF 3807 #line 38 08"configure"3862 #line 3863 "configure" 3808 3863 #include "confdefs.h" 3809 3864 main () { … … 3818 3873 } 3819 3874 EOF 3820 if { (eval echo configure:38 21: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null3875 if { (eval echo configure:3876: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest && (./conftest; exit) 2>/dev/null 3821 3876 then 3822 3877 ac_cv_c_bigendian=no … … 3851 3906 3852 3907 echo $ac_n "checking which exponent types to use""... $ac_c" 1>&6 3853 echo "configure:3 854: checking which exponent types to use" >&53908 echo "configure:3909: checking which exponent types to use" >&5 3854 3909 if test "$with_exp_type" = "char"; then 3855 3910 echo "$ac_t""char" 1>&6 … … 3885 3940 3886 3941 echo $ac_n "checking whether _AIX is defined""... $ac_c" 1>&6 3887 echo "configure:3 888: checking whether _AIX is defined" >&53942 echo "configure:3943: checking whether _AIX is defined" >&5 3888 3943 if eval "test \"`echo '$''{'ac_cv_is_aix'+set}'`\" = set"; then 3889 3944 echo $ac_n "(cached) $ac_c" 1>&6 3890 3945 else 3891 3946 cat > conftest.$ac_ext <<EOF 3892 #line 3 893"configure"3947 #line 3948 "configure" 3893 3948 #include "confdefs.h" 3894 3949 #ifdef _AIX -
Singular/configure.in
rd336d53 r1caa72 395 395 396 396 AC_HEADER_STDC 397 397 AC_HEADER_STAT 398 398 AC_CHECK_HEADERS(limits.h unistd.h,, 399 399 AC_MSG_ERROR(Can not compile without limits.h unistd.h)) 400 400 401 AC_CHECK_HEADERS(sys/file.h sys/ioctl.h sys/time.h sys/times.h sys/types.h sys/stat.h fcntl.h )401 AC_CHECK_HEADERS(sys/file.h sys/ioctl.h sys/time.h sys/times.h sys/types.h sys/stat.h fcntl.h sys/param.h pwd.h) 402 402 403 403 dnl Check dbm … … 430 430 AC_TYPE_SIGNAL 431 431 AC_FUNC_VPRINTF 432 AC_CHECK_FUNCS(gettimeofday strstr strtod strtol atexit bcopy )432 AC_CHECK_FUNCS(gettimeofday strstr strtod strtol atexit bcopy getcwd getwd) 433 433 434 434 dnl -
Singular/extra.cc
rd336d53 r1caa72 2 2 * Computer Algebra System SINGULAR * 3 3 *****************************************/ 4 /* $Id: extra.cc,v 1.3 2 1998-04-03 17:38:35 SingularExp $ */4 /* $Id: extra.cc,v 1.33 1998-04-06 17:59:27 obachman Exp $ */ 5 5 /* 6 6 * ABSTRACT: general interface to internals of Singular ("system" command) … … 245 245 #endif 246 246 #endif 247 #if 0 248 /*==================== whoami ==================================*/ 249 if (strcmp((char*)(h->data), "whoami") == 0) 250 { 251 res->rtype=STRING_CMD; 252 } 253 #endif 247 254 /*==================== HC ==================================*/ 248 255 if (strcmp((char*)(h->data),"HC")==0) -
Singular/febase.cc
rd336d53 r1caa72 2 2 * Computer Algebra System SINGULAR * 3 3 ****************************************/ 4 /* $Id: febase.cc,v 1.2 6 1998-03-31 07:41:21 SingularExp $ */4 /* $Id: febase.cc,v 1.27 1998-04-06 17:59:27 obachman Exp $ */ 5 5 /* 6 6 * ABSTRACT: i/o system … … 103 103 #endif /* macintosh */ 104 104 105 extern "C" char* find_executable_path(const char* argv0); 106 107 #define SINGULAR_RELATIVE_DATA_DIR "LIB" 108 109 static char* SearchPath = NULL; 110 111 // Return the file search path for singular w.r.t. the following priorities: 112 // Env-variables + Relative Data Dir + Burned-in data dir 113 char* feGetSearchPath(const char* argv0) 114 { 115 if (SearchPath == NULL) 116 { 117 char *env = NULL, *sibbling = NULL, *path; 118 int plength = 0, tmp; 119 120 #ifdef MSDOS 121 env=getenv("SPATH"); 122 #else 123 env=getenv("SINGULARPATH"); 124 #endif 125 126 if (argv0 != NULL) 127 sibbling = find_executable_path(argv0); 128 129 if (env != NULL) 130 plength = strlen(env) + 1; 131 132 if (sibbling != NULL) 133 plength += strlen(sibbling) + strlen(SINGULAR_RELATIVE_DATA_DIR) + 2; 134 135 plength += strlen(SINGULAR_DATADIR) + 2; 136 137 path = (char*) AllocL(plength*sizeof(char)); 138 SearchPath = path; 139 140 if (env != NULL) 141 { 142 tmp = strlen(env); 143 memcpy(path, env, tmp); 144 path = &(path[tmp]); 145 *path = FS_SEP; 146 path++; 147 } 148 149 if (sibbling != NULL) 150 { 151 tmp = strlen(sibbling); 152 memcpy(path, sibbling, tmp); 153 path = &(path[tmp]); 154 *path = DIR_SEP; 155 path++; 156 tmp = strlen(SINGULAR_RELATIVE_DATA_DIR); 157 memcpy(path, SINGULAR_RELATIVE_DATA_DIR, tmp); 158 path = &(path[tmp]); 159 *path = FS_SEP; 160 path++; 161 FreeL(sibbling); 162 } 163 164 tmp = strlen(SINGULAR_DATADIR); 165 memcpy(path,SINGULAR_DATADIR, tmp); 166 path = &(path[tmp]); 167 *path = '\0'; 168 } 169 return SearchPath; 170 } 171 172 105 173 FILE * feFopen(char *path, char *mode, char *where,int useWerror) 106 174 { … … 157 225 { 158 226 char found = 0; 159 #ifdef MSDOS 160 char *env=getenv("SPATH"); 161 #else 162 char *env=getenv("SINGULARPATH"); 163 #endif 227 char* spath = feGetSearchPath(); 164 228 char *s; 165 #ifndef macintosh 166 // extend path by SINGULAR_DATADIR 167 s = (char*) AllocL((env != NULL ? strlen(env) : 0) 168 +strlen(SINGULAR_DATADIR)+2); 169 if (env != NULL) 170 { 171 strcpy(s, env); 172 s[strlen(env)] = FS_SEP; 173 s[strlen(env)+1] = '\0'; 174 strcat(s, SINGULAR_DATADIR); 175 } 176 else strcpy(s, SINGULAR_DATADIR); 177 env = s; 178 #endif 229 179 230 if (where==NULL) s=(char *)AllocL(250); 180 231 else s=where; 181 if (env!=NULL) 232 233 if (spath!=NULL) 182 234 { 183 235 char *p,*q; 184 p = env;236 p = spath; 185 237 while( (q=strchr(p, FS_SEP)) != NULL) 186 238 { … … 216 268 f=fopen(path,mode); 217 269 } 218 #ifndef macintosh219 FreeL(env);220 #endif221 270 if (where==NULL) FreeL((ADDRESS)s); 222 271 } -
Singular/febase.h
rd336d53 r1caa72 4 4 * Computer Algebra System SINGULAR * 5 5 ****************************************/ 6 /* $Id: febase.h,v 1. 9 1998-03-31 09:00:43 SingularExp $ */6 /* $Id: febase.h,v 1.10 1998-04-06 17:59:28 obachman Exp $ */ 7 7 /* 8 8 * ABSTRACT … … 65 65 }; 66 66 67 char* feGetSearchPath(const char* argv0 = NULL); 67 68 FILE * feFopen(char *path, char *mode, char *where=NULL, int useWerror=FALSE); 68 69 void fePause(void); -
Singular/kstd1.cc
rd336d53 r1caa72 2 2 * Computer Algebra System SINGULAR * 3 3 ****************************************/ 4 /* $Id: kstd1.cc,v 1.1 7 1998-03-23 22:50:58obachman Exp $ */4 /* $Id: kstd1.cc,v 1.18 1998-04-06 17:59:29 obachman Exp $ */ 5 5 /* 6 6 * ABSTRACT: … … 1642 1642 initMora(F,strat); 1643 1643 strat->spSpolyLoop = spGetSpolyLoop(currRing, 1644 MAX(strat->ak,pMaxComp(q)),1644 max(strat->ak,pMaxComp(q)), 1645 1645 strat->syzComp, FALSE); 1646 1646 strat->enterS = enterSMoraNF; … … 1737 1737 /*- set T -*/ 1738 1738 strat->spSpolyLoop = spGetSpolyLoop(currRing, 1739 MAX(strat->ak,idRankFreeModule(q)),1739 max(strat->ak,idRankFreeModule(q)), 1740 1740 strat->syzComp, FALSE); 1741 1741 strat->tl = -1; … … 1836 1836 else strat->LazyPass=20; 1837 1837 strat->LazyDegree = 1; 1838 strat->ak = idRankFreeModule(F); 1838 1839 if ((h==testHomog) 1839 1840 #ifdef DRING … … 1842 1843 ) 1843 1844 { 1844 strat->ak = idRankFreeModule(F);1845 1845 if (strat->ak == 0) 1846 1846 { … … 1876 1876 strat->homog=h; 1877 1877 spSet(currRing); 1878 strat->spSpolyLoop = spGetSpolyLoop(currRing, strat );1878 strat->spSpolyLoop = spGetSpolyLoop(currRing, strat, syzComp); 1879 1879 if (pOrdSgn==-1) 1880 1880 { … … 1942 1942 strat->LazyPass=32000; 1943 1943 strat->LazyDegree = 10; 1944 strat->ak = idRankFreeModule(F); 1944 1945 // if(stdTrace!=NULL) 1945 1946 // stdTrace->GetPrimes(F,primes); // Array mit Primzahlen muß geordnet sein ! … … 1951 1952 ) 1952 1953 { 1953 strat->ak = idRankFreeModule(F);1954 1954 if (strat->ak == 0) 1955 1955 { … … 1978 1978 strat->homog=h; 1979 1979 spSet(currRing); 1980 strat->spSpolyLoop = spGetSpolyLoop(currRing, strat );1980 strat->spSpolyLoop = spGetSpolyLoop(currRing, strat syzComp); 1981 1981 // if (pOrdSgn==-1) 1982 1982 // { … … 2035 2035 strat->LazyDegree = 1; 2036 2036 strat->minim=(reduced % 2)+1; 2037 strat->ak = idRankFreeModule(F); 2037 2038 if ((h==testHomog) 2038 2039 #ifdef DRING … … 2041 2042 ) 2042 2043 { 2043 strat->ak = idRankFreeModule(F);2044 2044 if (strat->ak == 0) 2045 2045 { … … 2080 2080 strat->homog=h; 2081 2081 spSet(currRing); 2082 strat->spSpolyLoop = spGetSpolyLoop(currRing, strat );2082 strat->spSpolyLoop = spGetSpolyLoop(currRing, strat, syzComp); 2083 2083 if (pOrdSgn==-1) 2084 2084 { -
Singular/kstd2.cc
rd336d53 r1caa72 2 2 * Computer Algebra System SINGULAR * 3 3 ****************************************/ 4 /* $Id: kstd2.cc,v 1.1 4 1998-03-23 22:50:59obachman Exp $ */4 /* $Id: kstd2.cc,v 1.15 1998-04-06 17:59:30 obachman Exp $ */ 5 5 /* 6 6 * ABSTRACT - Kernel: alg. of Buchberger … … 1545 1545 /*- set S -*/ 1546 1546 strat->sl = -1; 1547 strat->spSpolyLoop = spGetSpolyLoop(currRing, MAX(strat->ak, pMaxComp(q)),1547 strat->spSpolyLoop = spGetSpolyLoop(currRing, max(strat->ak, pMaxComp(q)), 1548 1548 strat->syzComp, FALSE); 1549 1549 /*- init local data struct.---------------------------------------- -*/ … … 1590 1590 strat->sl = -1; 1591 1591 strat->spSpolyLoop = spGetSpolyLoop(currRing, 1592 MAX(strat->ak, idRankFreeModule(q)),1592 max(strat->ak, idRankFreeModule(q)), 1593 1593 strat->syzComp, FALSE); 1594 1594 /*- init local data struct.---------------------------------------- -*/ … … 1657 1657 else strat->LazyPass=20; 1658 1658 strat->LazyDegree = 1; 1659 strat->ak = idRankFreeModule(F); 1659 1660 if ((h==testHomog)) 1660 1661 { 1661 strat->ak = idRankFreeModule(F);1662 1662 if (strat->ak==0) 1663 1663 { -
Singular/kstdfac.cc
rd336d53 r1caa72 2 2 * Computer Algebra System SINGULAR * 3 3 ****************************************/ 4 /* $Id: kstdfac.cc,v 1.1 3 1998-03-23 14:07:54obachman Exp $ */4 /* $Id: kstdfac.cc,v 1.14 1998-04-06 17:59:31 obachman Exp $ */ 5 5 /* 6 6 * ABSTRACT - Kernel: factorizing alg. of Buchberger … … 726 726 else strat->LazyPass=20; 727 727 strat->LazyDegree = 1; 728 strat->ak = idRankFreeModule(F); 728 729 if ((h==testHomog)) 729 730 { 730 strat->ak = idRankFreeModule(F);731 731 if (strat->ak==0) 732 732 { -
Singular/kutil.cc
rd336d53 r1caa72 2 2 * Computer Algebra System SINGULAR * 3 3 ****************************************/ 4 /* $Id: kutil.cc,v 1.1 4 1998-03-23 22:51:00obachman Exp $ */4 /* $Id: kutil.cc,v 1.15 1998-04-06 17:59:32 obachman Exp $ */ 5 5 /* 6 6 * ABSTRACT: kernel: utils for std … … 3575 3575 { 3576 3576 strat->interpt = BTEST1(OPT_INTERRUPT); 3577 strat->ak = idRankFreeModule(F);3578 3577 strat->kHEdge=NULL; 3579 3578 if (pOrdSgn==1) strat->kHEdgeFound=FALSE; -
Singular/kutil.h
rd336d53 r1caa72 4 4 * Computer Algebra System SINGULAR * 5 5 ****************************************/ 6 /* $Id: kutil.h,v 1. 6 1998-03-19 16:05:48obachman Exp $ */6 /* $Id: kutil.h,v 1.7 1998-04-06 17:59:33 obachman Exp $ */ 7 7 /* 8 8 * ABSTRACT: kernel: utils for std … … 175 175 176 176 rOrderType_t spGetOrderType(ring r, int modrank, int syzcomp); 177 inline rOrderType_t spGetOrderType(ring r, kStrategy strat)178 {179 return spGetOrderType(r, strat->ak, strat->syzComp);180 }181 182 inline int MAX(int a, int b)183 {184 if (a > b) return a;185 else return b;186 }187 188 177 189 178 inline TSet initT () { return (TSet)Alloc0(setmax*sizeof(TObject)); } -
Singular/misc.cc
rd336d53 r1caa72 726 726 #endif 727 727 StringAppend("random=%d\n",siRandomStart); 728 #ifdef MSDOS 729 char *p=getenv("SPATH"); 730 #else 731 char *p=getenv("SINGULARPATH"); 732 #endif 733 if (p!=NULL) 734 return StringAppend("search path:%s:%s",p,SINGULAR_DATADIR); 735 else 736 return StringAppend("search path:%s", SINGULAR_DATADIR); 737 } 728 return StringAppend("search path %s", feGetSearchPath()); 729 } -
Singular/mod2.h.in
rd336d53 r1caa72 36 36 /* Define if you have sys/file.h */ 37 37 #undef HAVE_SYS_FILE_H 38 /* Define if you have sys/param.h */ 39 #undef HAVE_SYS_PARAM_H 40 /* Define if you have sys/file.h */ 41 #undef HAVE_SYS_TYPES_H 38 42 /* Define if you have sys/ioctl.h */ 39 43 #undef HAVE_SYS_IOCTL_H … … 46 50 /* Define if you have alloca.h */ 47 51 #undef HAVE_ALLOCA_H 52 /* Define if you have pwd.h */ 53 #undef HAVE_PWD_H 48 54 /* Define if you have alloca */ 49 55 #undef HAVE_ALLOCA … … 67 73 /* Define if sprintf does not return number of printed chars */ 68 74 #undef BSD_SPRINTF 75 /* Define if the `S_IS*' macros in <sys/stat.h> do not work properly. */ 76 #undef STAT_MACROS_BROKEN 77 /* Define if you have the getcwd function. */ 78 #undef HAVE_GETCWD 79 /* Define if you have the getwd function. */ 80 #undef HAVE_GETWD 69 81 /* Define sizeof(char) */ 70 82 #define SIZEOF_CHAR 1 -
Singular/spSpolyLoop.h
rd336d53 r1caa72 25 25 inline spSpolyLoopProc spGetSpolyLoop(ring r, kStrategy strat) 26 26 { 27 return spGetSpolyLoop(r, spGetOrderType(r, strat ),27 return spGetSpolyLoop(r, spGetOrderType(r, strat->ak, strat->syzComp), 28 28 ((strat->homog && strat->kModW==NULL && 29 29 ! rHasSimpleLexOrder(r)))); 30 30 } 31 32 inline spSpolyLoopProc spGetSpolyLoop(ring r, kStrategy strat, int syzComp) 33 { 34 return spGetSpolyLoop(r, spGetOrderType(r, strat->ak, syzComp), 35 ((strat->homog && strat->kModW==NULL && 36 ! rHasSimpleLexOrder(r)))); 37 } 38 31 39 32 40 inline spSpolyLoopProc spGetSpolyLoop(ring r) -
Singular/spSpolyLoop.inc
rd336d53 r1caa72 1525 1525 { 1526 1526 assume(pComp0(b, a2) == 1); 1527 assume(pComp0(b,a2) == 1); 1527 1528 pSetCoeff0(b,npMultM(pGetCoeff(a1), tneg)); 1528 1529 a = pNext(a) = b; // append b to result and advance a1 -
Singular/spSpolyLoop.pl
rd336d53 r1caa72 1 1 #!/usr/local/bin/perl 2 2 ########################################################################### 3 # $Id: spSpolyLoop.pl,v 1. 5 1998-03-31 12:20:23obachman Exp $3 # $Id: spSpolyLoop.pl,v 1.6 1998-04-06 17:59:36 obachman Exp $ 4 4 5 5 ########################################################################### … … 11 11 ## 12 12 13 ########################################################################### 14 ## 15 ## How to add/modify generation of spSpolyLoops 16 ## 17 18 # 1.) Add property/characterisitc to property specification and make 19 # sure that property is checked for in spGetSpolyLoop(...) in 20 # spSpolyLoop.cc 21 # 22 # 2.) Modify macros of spSpolyLoops so that approriate actions are taken 23 # for new properties 24 # 25 # 3.) Add properties to check for in @input 13 26 14 27 … … 639 652 } 640 653 641 642 654 ########################################################################### 643 655 ## … … 651 663 652 664 665 ########################################################################### 666 ## 667 ## Main program 668 ## 669 653 670 #flatten out input 654 671 @finput = &FlattenInput(@input); … … 670 687 print $getspolyloop; 671 688 672 673 674 675 676 677 678 679 680 681 682 683 -
Singular/tesths.cc
rd336d53 r1caa72 2 2 * Computer Algebra System SINGULAR * 3 3 ****************************************/ 4 /* $Id: tesths.cc,v 1.3 1 1998-02-27 16:28:01 SingularExp $ */4 /* $Id: tesths.cc,v 1.32 1998-04-06 17:59:37 obachman Exp $ */ 5 5 6 6 /* … … 58 58 thisfile = argv[0]; 59 59 BOOLEAN load_std_lib=TRUE; 60 feGetSearchPath(thisfile); 61 60 62 /*. process parameters */ 61 63 for (;(argc > 1) && (!feBatch); --argc, ++argv)
Note: See TracChangeset
for help on using the changeset viewer.