Courses", $CS_COURSES_ROOT_URL); ?>

---

---

• Specifications:
  
  
  • ratintvl-1.txt", "ratintvl-1.txt") . " "; ?> 3 November 2002.
  • ratintvl-2.txt", "ratintvl-2.txt") . " "; ?> 4 November 2002.
  • ratintvl-3.txt", "ratintvl-3.txt") . " "; ?> 6 November 2002.
    
    
• Test cases (should all be correct - post if more problems):
  
  
  1. ratintvl-2-tst_pre-2.scm", "ratintvl-2-tst_pre-2.scm") . " "; ?> 7 November 2002.
  2. ratintvl-2-tst_sel-2.scm", "ratintvl-2-tst_sel-2.scm") . " "; ?> 7 November 2002.
  3. ratintvl-2-tst_ope-2.scm", "ratintvl-2-tst_ope-2.scm") . " "; ?> 7 November 2002.

• Specifications:
  
  
  • binratintvl-1.txt", "binratintvl-1.txt") . " "; ?> 29 November 2003.

• Specifications:
  
  
  • xreal-1.txt", "xreal-1.txt") . " "; ?> 5 November 2002.
  • xreal-2.txt", "xreal-2.txt") . " "; ?> 11 November 2002.
    
    
• Additional functions:
  
  
  • xreal-1_precfunc-1-ratpowers-1.scm", "xreal-1_precfunc-1-ratpowers-1.scm") . " "; ?> 11 November 2002.
  • xreal-1_precfunc-1-ratpowers-2.scm", "xreal-1_precfunc-1-ratpowers-2.scm") . " "; ?> 3 December 2002.
    
    
• Test cases:
  
  
  • xreal-2_tst-1.scm", "xreal-2_tst-1.scm") . " "; ?> 13 November 2002.
    
    

Last modified: Mon Nov 11 20:08:21 CST 2002