Changeset 300a34 in git
- Timestamp:
- Jun 18, 1998, 7:38:08 PM (26 years ago)
- Branches:
- (u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
- Children:
- f22a086cfc33fa7bf2cfda6b3c231ed4d83a7d1a
- Parents:
- bcd557076fb2b1e3c38619431228c473f71829e7
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/standard.lib
rbcd557 r300a34 1 // $Id: standard.lib,v 1.2 1 1998-06-18 17:32:13Singular Exp $1 // $Id: standard.lib,v 1.22 1998-06-18 17:38:08 Singular Exp $ 2 2 ////////////////////////////////////////////////////////////////////////////// 3 3 4 version="$Id: standard.lib,v 1.2 1 1998-06-18 17:32:13Singular Exp $";4 version="$Id: standard.lib,v 1.22 1998-06-18 17:38:08 Singular Exp $"; 5 5 info=" 6 6 LIBRARY: standard.lib PROCEDURES WHICH ARE ALWAYS LOADED AT START-UP … … 461 461 462 462 proc quotient (any m1,any m2,list L) 463 USAGE: quotient(m1, m2[, n]); m1, m2 two submodules of k^s,463 "USAGE: quotient(m1, m2[, n]); m1, m2 two submodules of k^s, 464 464 n (optional) integer (1<= n <=5) 465 465 RETURN: the quotient of m1 and m2 466 EXAMPLE: example quot; shows an example 466 EXAMPLE: example quot; shows an example" 467 467 { 468 468 if (((typeof(m1)!="ideal") and (typeof(m1)!="module")) … … 506 506 507 507 static proc quot1 (module m1, module m2,int n) 508 USAGE: quot1(m1, m2, n); m1, m2 two submodules of k^s, 508 "USAGE: quot1(m1, m2, n); m1, m2 two submodules of k^s, 509 509 n integer (1<= n <=5) 510 510 RETURN: the quotient of m1 and m2 511 EXAMPLE: example quot; shows an example 511 EXAMPLE: example quot; shows an example" 512 512 { 513 513 if (n==1) … … 515 515 return(quotient1(m1,m2)); 516 516 } 517 else 518 { 517 else 518 { 519 519 if (n==2) 520 520 { 521 521 return(quotient2(m1,m2)); 522 522 } 523 else 524 { 523 else 524 { 525 525 if (n==3) 526 526 { 527 527 return(quotient3(m1,m2)); 528 528 } 529 else 530 { 529 else 530 { 531 531 if (n==4) 532 532 { 533 533 return(quotient4(m1,m2)); 534 534 } 535 else 536 { 535 else 536 { 537 537 if (n==5) 538 538 { … … 546 546 } 547 547 } 548 } 548 } 549 549 } 550 550 example … … 562 562 } 563 563 564 static proc quotient0(module a,module b) 564 static proc quotient0(module a,module b) 565 565 { 566 566 module mm=b+a; … … 573 573 } 574 574 proc quotient1(module a,module b) //17sec 575 USAGE: quotient1(m1, m2); m1, m2 two submodules of k^s, 576 RETURN: the quotient of m1 and m2 575 "USAGE: quotient1(m1, m2); m1, m2 two submodules of k^s, 576 RETURN: the quotient of m1 and m2" 577 577 { 578 578 int i; … … 585 585 re=intersect1(re,quot(a,module(B[i]))); 586 586 } 587 return(re); 587 return(re); 588 588 } 589 589 proc quotient2(module a,module b) //13sec 590 USAGE: quotient2(m1, m2); m1, m2 two submodules of k^s, 591 RETURN: the quotient of m1 and m2 590 "USAGE: quotient2(m1, m2); m1, m2 two submodules of k^s, 591 RETURN: the quotient of m1 and m2" 592 592 { 593 593 a=std(a); … … 619 619 i = i-1; 620 620 } 621 return(re); 621 return(re); 622 622 } 623 623 proc quotient3(module a,module b) //89sec 624 USAGE: quotient3(m1, m2); m1, m2 two submodules of k^s, 624 "USAGE: quotient3(m1, m2); m1, m2 two submodules of k^s, 625 625 only for global rings 626 RETURN: the quotient of m1 and m2 626 RETURN: the quotient of m1 and m2" 627 627 { 628 628 string s="ring @newr=("+charstr(basering)+ … … 642 642 setring @newP; 643 643 ideal re=imap(@newr,re); 644 return(re); 644 return(re); 645 645 } 646 646 proc quotient5(module a,module b) //89sec 647 USAGE: quotient5(m1, m2); m1, m2 two submodules of k^s, 647 "USAGE: quotient5(m1, m2); m1, m2 two submodules of k^s, 648 648 only for global rings 649 RETURN: the quotient of m1 and m2 649 RETURN: the quotient of m1 and m2" 650 650 { 651 651 string s="ring @newr=("+charstr(basering)+ … … 666 666 setring @newP; 667 667 ideal re=imap(@newr,re); 668 return(re); 668 return(re); 669 669 } 670 670 proc quotient4(module a,module b) //95sec 671 USAGE: quotient4(m1, m2); m1, m2 two submodules of k^s, 671 "USAGE: quotient4(m1, m2); m1, m2 two submodules of k^s, 672 672 only for global rings 673 RETURN: the quotient of m1 and m2 673 RETURN: the quotient of m1 and m2" 674 674 { 675 675 string s="ring @newr=("+charstr(basering)+ … … 689 689 setring @newP; 690 690 ideal re=imap(@newr,re); 691 return(re); 691 return(re); 692 692 } 693 693 static proc intersect1(ideal i,ideal j) … … 702 702 return(phi(j)); 703 703 } 704 704 705 705 /* 706 706 proc minres(list #)
Note: See TracChangeset
for help on using the changeset viewer.