Lines Matching defs:div
71 (defun div-test (quotient remainder function &rest arguments
632 (div-test 1 1/2 #'floor 3/2)
633 (div-test 1d0 1 #'ffloor 3 2)
634 (div-test -2 2147483646 #'floor -2147483648 2147483647)
635 (div-test 2147483648 0 #'floor -2147483648 -1)
636 (div-test 17179869184 0 #'floor 18446744073709551616 1073741824)
637 (div-test -17179869201 -1073741807 #'floor 18446744073709551616 -1073741823)
638 (div-test 2147483648 0d0 #'floor -2147483648 -1d0)
639 (div-test -2 2147483646/2147483647 #'floor -2147483648/2147483647)
640 (div-test 32768 32768/2147483647 #'floor 2147483648/2147483647 65535/2147483647)
641 (div-test -32769 -32767/2147483647 #'floor 2147483648/2147483647 -65535/2147483647)
642 (div-test -32769 32767/2147483647 #'floor -2147483648/2147483647 65535/2147483647)
643 (div-test 32768 -32768/2147483647 #'floor -2147483648/2147483647 -65535/2147483647)
644 (div-test 2 0.5d0 #'floor 3d0 1.25d0)
645 (div-test 2 1d0 #'floor 4d0 1.5d0)
646 (div-test -3 -0.5d0 #'floor 4d0 -1.5d0)
647 (div-test -3 0.5d0 #'floor -4d0 1.5d0)
648 (div-test 2 -1d0 #'floor -4d0 -1.5d0)
649 (div-test 1 2/91 #'floor 5/7 9/13)
650 (div-test -2 -61/91 #'floor 5/7 -9/13)
651 (div-test -2 61/91 #'floor -5/7 9/13)
652 (div-test 1 -2/91 #'floor -5/7 -9/13)
653 (div-test 1 0 #'floor 2147483648/2147483647 2147483648/2147483647)
654 (div-test -1 0 #'floor 2147483648/2147483647 -2147483648/2147483647)
655 (div-test -1 0 #'floor -2147483648/2147483647 2147483648/2147483647)
656 (div-test 1 0 #'floor -2147483648/2147483647 -2147483648/2147483647)
657 (div-test 9437 1416337955817765/144137437447079
659 (div-test -9438 -313311293547183/144137437447079
661 (div-test -9438 313311293547183/144137437447079
663 (div-test 9437 -1416337955817765/144137437447079
665 (div-test 8081 1138147903718848755797/4324123123412370
667 (div-test -8082 -1804074198964956721/720687187235395
669 (div-test -8082 1804074198964956721/720687187235395
671 (div-test 8081 -1138147903718848755797/4324123123412370
673 (div-test 0 1148972348912638496123/4324123123412370111
675 (div-test -1 -9285982550494401861657948805/4324123123412370111
677 (div-test -1 9285982550494401861657948805/4324123123412370111
679 (div-test 0 -1148972348912638496123/4324123123412370111
681 (div-test 0.0d0 1.0000000004656613d0 #'ffloor 2147483648/2147483647 2147483648d0)
682 (div-test -1.0d0 -2.147483647d9 #'ffloor 2147483648/2147483647 -2147483648d0)
683 (div-test -1.0d0 2.147483647d9 #'ffloor -2147483648/2147483647 2147483648d0)
684 (div-test 0.0d0 -1.0000000004656613d0 #'ffloor -2147483648/2147483647 -2147483648d0)
689 (div-test 2 -1/2 #'ceiling 3/2)
690 (div-test 2d0 -1 #'fceiling 3 2)
691 (div-test -1 -1 #'ceiling -2147483648 2147483647)
692 (div-test 2147483648 0 #'ceiling -2147483648 -1)
693 (div-test 17179869184 0 #'ceiling 18446744073709551616 1073741824)
694 (div-test -17179869200 16 #'ceiling 18446744073709551616 -1073741823)
695 (div-test 2147483648 0d0 #'ceiling -2147483648 -1d0)
696 (div-test -1 -1/2147483647 #'ceiling -2147483648/2147483647)
697 (div-test 32769 -32767/2147483647 #'ceiling 2147483648/2147483647 65535/2147483647)
698 (div-test -32768 32768/2147483647 #'ceiling 2147483648/2147483647 -65535/2147483647)
699 (div-test -32768 -32768/2147483647 #'ceiling -2147483648/2147483647 65535/2147483647)
700 (div-test 32769 32767/2147483647 #'ceiling -2147483648/2147483647 -65535/2147483647)
701 (div-test 3 -0.75d0 #'ceiling 3d0 1.25d0)
702 (div-test 3 -0.5d0 #'ceiling 4d0 1.5d0)
703 (div-test -2 1d0 #'ceiling 4d0 -1.5d0)
704 (div-test -2 -1d0 #'ceiling -4d0 1.5d0)
705 (div-test 3 0.5d0 #'ceiling -4d0 -1.5d0)
706 (div-test 2 -61/91 #'ceiling 5/7 9/13)
707 (div-test -1 2/91 #'ceiling 5/7 -9/13)
708 (div-test -1 -2/91 #'ceiling -5/7 9/13)
709 (div-test 2 61/91 #'ceiling -5/7 -9/13)
710 (div-test 1 0 #'ceiling 2147483648/2147483647 2147483648/2147483647)
711 (div-test -1 0 #'ceiling 2147483648/2147483647 -2147483648/2147483647)
712 (div-test -1 0 #'ceiling -2147483648/2147483647 2147483648/2147483647)
713 (div-test 1 0 #'ceiling -2147483648/2147483647 -2147483648/2147483647)
714 (div-test 9438 -313311293547183/144137437447079
716 (div-test -9437 1416337955817765/144137437447079
718 (div-test -9437 -1416337955817765/144137437447079
720 (div-test 9438 313311293547183/144137437447079
722 (div-test 8082 -1804074198964956721/720687187235395
724 (div-test -8081 1138147903718848755797/4324123123412370
726 (div-test -8081 -1138147903718848755797/4324123123412370
728 (div-test 8082 1804074198964956721/720687187235395
730 (div-test 1 -9285982550494401861657948805/4324123123412370111
732 (div-test 0 1148972348912638496123/4324123123412370111
734 (div-test 0 -1148972348912638496123/4324123123412370111
736 (div-test 1 9285982550494401861657948805/4324123123412370111
738 (div-test 1.0d0 -2.147483647d9 #'fceiling 2147483648/2147483647 2147483648d0)
739 (div-test 0d0 1.0000000004656613d0 #'fceiling 2147483648/2147483647 -2147483648d0)
740 (div-test 0d0 -1.0000000004656613d0 #'fceiling -2147483648/2147483647 2147483648d0)
741 (div-test 1d0 2.147483647d9 #'fceiling -2147483648/2147483647 -2147483648d0)
746 (div-test 1 1/2 #'truncate 3/2)
747 (div-test 1d0 1 #'ftruncate 3 2)
748 (div-test -1 -1 #'truncate -2147483648 2147483647)
749 (div-test 2147483648 0 #'truncate -2147483648 -1)
750 (div-test 17179869184 0 #'truncate 18446744073709551616 1073741824)
751 (div-test -17179869200 16 #'truncate 18446744073709551616 -1073741823)
752 (div-test 2147483648 0d0 #'truncate -2147483648 -1d0)
753 (div-test -1 -1/2147483647 #'truncate -2147483648/2147483647)
754 (div-test 32768 32768/2147483647 #'truncate 2147483648/2147483647 65535/2147483647)
755 (div-test -32768 32768/2147483647 #'truncate 2147483648/2147483647 -65535/2147483647)
756 (div-test -32768 -32768/2147483647 #'truncate -2147483648/2147483647 65535/2147483647)
757 (div-test 32768 -32768/2147483647 #'truncate -2147483648/2147483647 -65535/2147483647)
758 (div-test 2 0.5d0 #'truncate 3d0 1.25d0)
759 (div-test 2 1d0 #'truncate 4d0 1.5d0)
760 (div-test -2 1d0 #'truncate 4d0 -1.5d0)
761 (div-test -2 -1d0 #'truncate -4d0 1.5d0)
762 (div-test 2 -1d0 #'truncate -4d0 -1.5d0)
763 (div-test 1 2/91 #'truncate 5/7 9/13)
764 (div-test -1 2/91 #'truncate 5/7 -9/13)
765 (div-test -1 -2/91 #'truncate -5/7 9/13)
766 (div-test 1 -2/91 #'truncate -5/7 -9/13)
767 (div-test 1 0 #'truncate 2147483648/2147483647 2147483648/2147483647)
768 (div-test -1 0 #'truncate 2147483648/2147483647 -2147483648/2147483647)
769 (div-test -1 0 #'truncate -2147483648/2147483647 2147483648/2147483647)
770 (div-test 1 0 #'truncate -2147483648/2147483647 -2147483648/2147483647)
771 (div-test 9437 1416337955817765/144137437447079
773 (div-test -9437 1416337955817765/144137437447079
775 (div-test -9437 -1416337955817765/144137437447079
777 (div-test 9437 -1416337955817765/144137437447079
779 (div-test 8081 1138147903718848755797/4324123123412370
781 (div-test -8081 1138147903718848755797/4324123123412370
783 (div-test -8081 -1138147903718848755797/4324123123412370
785 (div-test 8081 -1138147903718848755797/4324123123412370
787 (div-test 0 1148972348912638496123/4324123123412370111
789 (div-test 0 1148972348912638496123/4324123123412370111
791 (div-test 0 -1148972348912638496123/4324123123412370111
793 (div-test 0 -1148972348912638496123/4324123123412370111
795 (div-test 0d0 1.0000000004656613d0 #'ftruncate 2147483648/2147483647 2147483648d0)
796 (div-test 0d0 1.0000000004656613d0 #'ftruncate 2147483648/2147483647 -2147483648d0)
797 (div-test 0d0 -1.0000000004656613d0 #'ftruncate -2147483648/2147483647 2147483648d0)
798 (div-test 0d0 -1.0000000004656613d0 #'ftruncate -2147483648/2147483647 -2147483648d0)
803 (div-test 2 -1/2 #'round 3/2)
804 (div-test 2d0 -1 #'fround 3 2)
805 (div-test -1 -1 #'round -2147483648 2147483647)
806 (div-test 2147483648 0 #'round -2147483648 -1)
807 (div-test 17179869184 0 #'round 18446744073709551616 1073741824)
808 (div-test -17179869200 16 #'round 18446744073709551616 -1073741823)
809 (div-test 2147483648 0d0 #'round -2147483648 -1d0)
810 (div-test -1 -1/2147483647 #'round -2147483648/2147483647)
811 (div-test 32769 -32767/2147483647 #'round 2147483648/2147483647 65535/2147483647)
812 (div-test -32769 -32767/2147483647 #'round 2147483648/2147483647 -65535/2147483647)
813 (div-test -32769 32767/2147483647 #'round -2147483648/2147483647 65535/2147483647)
814 (div-test 32769 32767/2147483647 #'round -2147483648/2147483647 -65535/2147483647)
815 (div-test 2 0.5d0 #'round 3d0 1.25d0)
816 (div-test 3 -0.5d0 #'round 4d0 1.5d0)
817 (div-test -3 -0.5d0 #'round 4d0 -1.5d0)
818 (div-test -3 0.5d0 #'round -4d0 1.5d0)
819 (div-test 3 0.5d0 #'round -4d0 -1.5d0)
820 (div-test 1 2/91 #'round 5/7 9/13)
821 (div-test -1 2/91 #'round 5/7 -9/13)
822 (div-test -1 -2/91 #'round -5/7 9/13)
823 (div-test 1 -2/91 #'round -5/7 -9/13)
824 (div-test 1 0 #'round 2147483648/2147483647 2147483648/2147483647)
825 (div-test -1 0 #'round 2147483648/2147483647 -2147483648/2147483647)
826 (div-test -1 0 #'round -2147483648/2147483647 2147483648/2147483647)
827 (div-test 1 0 #'round -2147483648/2147483647 -2147483648/2147483647)
828 (div-test 9438 -313311293547183/144137437447079
830 (div-test -9438 -313311293547183/144137437447079
832 (div-test -9438 313311293547183/144137437447079
834 (div-test 9438 313311293547183/144137437447079
836 (div-test 8082 -1804074198964956721/720687187235395
838 (div-test -8082 -1804074198964956721/720687187235395
840 (div-test -8082 1804074198964956721/720687187235395
842 (div-test 8082 1804074198964956721/720687187235395
844 (div-test 0 1148972348912638496123/4324123123412370111
846 (div-test 0 1148972348912638496123/4324123123412370111
848 (div-test 0 -1148972348912638496123/4324123123412370111
850 (div-test 0 -1148972348912638496123/4324123123412370111
852 (div-test 0d0 1.0000000004656613d0 #'fround 2147483648/2147483647 2147483648d0)
853 (div-test 0d0 1.0000000004656613d0 #'fround 2147483648/2147483647 -2147483648d0)
854 (div-test 0d0 -1.0000000004656613d0 #'fround -2147483648/2147483647 2147483648d0)
855 (div-test 0d0 -1.0000000004656613d0 #'fround -2147483648/2147483647 -2147483648d0)
856 (div-test 2 0.5d0 #'round 2.5d0)
857 (div-test -2 -0.5d0 #'round -2.5d0)
858 (div-test 5 0d0 #'round 2.5d0 0.5d0)
859 (div-test -5 0d0 #'round 2.5d0 -0.5d0)
860 (div-test -5 0d0 #'round 2.5d0 -0.5d0)
861 (div-test -5 0d0 #'round -2.5d0 0.5d0)
862 (div-test 5 0d0 #'round -2.5d0 -0.5d0)
863 (div-test 1 -2/7 #'round 5/7)
864 (div-test -1 2/7 #'round -5/7)
865 (div-test 2 -1/2 #'round 3/2)
866 (div-test -2 1/2 #'round -3/2)
867 (div-test 2 1 #'round 30/2 7)
868 (div-test -2 1 #'round 30/2 -7)
869 (div-test -2 -1 #'round -30/2 7)
870 (div-test 2 -1 #'round -30/2 -7)
871 (div-test 1073741824 -1/2 #'round 2147483647/2)
872 (div-test -1073741824 1/2 #'round -2147483647/2)
873 (div-test 1 -2147483645/2 #'round 2147483647/2 2147483646)
874 (div-test -1 -2147483645/2 #'round 2147483647/2 -2147483646)
875 (div-test -1 2147483645/2 #'round -2147483647/2 2147483646)
876 (div-test 1 -2147483645/2 #'round 2147483647/2 2147483646)