0s autopkgtest [17:38:50]: starting date and time: 2024-03-23 17:38:50+0000 0s autopkgtest [17:38:50]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps 0s autopkgtest [17:38:50]: host juju-7f2275-prod-proposed-migration-environment-3; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.4uv4gjmh/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --setup-commands /home/ubuntu/autopkgtest/setup-commands/setup-testbed --apt-pocket=proposed=src:readline,src:asymptote --apt-upgrade qepcad --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=readline/8.2-4 asymptote/2.87+ds-1build1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-3@lcy02-36.secgroup --name adt-noble-amd64-qepcad-20240323-173850-juju-7f2275-prod-proposed-migration-environment-3 --image adt/ubuntu-noble-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-3 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 180s autopkgtest [17:41:50]: testbed dpkg architecture: amd64 180s autopkgtest [17:41:50]: testbed apt version: 2.7.12 180s autopkgtest [17:41:50]: @@@@@@@@@@@@@@@@@@@@ test bed setup 180s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 180s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [493 kB] 180s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 180s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3969 kB] 180s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [56.9 kB] 180s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main i386 Packages [451 kB] 180s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 Packages [686 kB] 180s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 c-n-f Metadata [3508 B] 180s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted i386 Packages [6700 B] 180s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/restricted amd64 Packages [30.5 kB] 180s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/restricted amd64 c-n-f Metadata [116 B] 180s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/universe amd64 Packages [4400 kB] 180s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/universe i386 Packages [1298 kB] 180s Get:14 http://ftpmaster.internal/ubuntu noble-proposed/universe amd64 c-n-f Metadata [9396 B] 180s Get:15 http://ftpmaster.internal/ubuntu noble-proposed/multiverse amd64 Packages [96.1 kB] 180s Get:16 http://ftpmaster.internal/ubuntu noble-proposed/multiverse i386 Packages [27.1 kB] 180s Get:17 http://ftpmaster.internal/ubuntu noble-proposed/multiverse amd64 c-n-f Metadata [196 B] 184s Fetched 11.6 MB in 2s (6993 kB/s) 184s Reading package lists... 186s Reading package lists... 186s Building dependency tree... 186s Reading state information... 186s Calculating upgrade... 187s The following packages will be upgraded: 187s libc-bin libc6 locales readline-common 187s 4 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 187s Need to get 8233 kB of archives. 187s After this operation, 2048 B of additional disk space will be used. 187s Get:1 http://ftpmaster.internal/ubuntu noble/main amd64 libc6 amd64 2.39-0ubuntu6 [3262 kB] 187s Get:2 http://ftpmaster.internal/ubuntu noble/main amd64 libc-bin amd64 2.39-0ubuntu6 [682 kB] 187s Get:3 http://ftpmaster.internal/ubuntu noble/main amd64 locales all 2.39-0ubuntu6 [4232 kB] 187s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 readline-common all 8.2-4 [56.4 kB] 187s Preconfiguring packages ... 187s Fetched 8233 kB in 0s (77.6 MB/s) 187s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 71864 files and directories currently installed.) 187s Preparing to unpack .../libc6_2.39-0ubuntu6_amd64.deb ... 188s Unpacking libc6:amd64 (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 188s Setting up libc6:amd64 (2.39-0ubuntu6) ... 188s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 71864 files and directories currently installed.) 188s Preparing to unpack .../libc-bin_2.39-0ubuntu6_amd64.deb ... 188s Unpacking libc-bin (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 188s Setting up libc-bin (2.39-0ubuntu6) ... 189s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 71864 files and directories currently installed.) 189s Preparing to unpack .../locales_2.39-0ubuntu6_all.deb ... 189s Unpacking locales (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 189s Preparing to unpack .../readline-common_8.2-4_all.deb ... 189s Unpacking readline-common (8.2-4) over (8.2-3) ... 189s Setting up locales (2.39-0ubuntu6) ... 189s Generating locales (this might take a while)... 191s en_US.UTF-8... done 191s Generation complete. 191s Setting up readline-common (8.2-4) ... 191s Processing triggers for install-info (7.1-3) ... 191s Processing triggers for man-db (2.12.0-3) ... 193s Reading package lists... 193s Building dependency tree... 193s Reading state information... 193s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 194s sh: Attempting to set up Debian/Ubuntu apt sources automatically 194s sh: Distribution appears to be Ubuntu 195s Reading package lists... 195s Building dependency tree... 195s Reading state information... 195s eatmydata is already the newest version (131-1). 195s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 195s Reading package lists... 195s Building dependency tree... 195s Reading state information... 196s dbus is already the newest version (1.14.10-4ubuntu1). 196s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 196s Reading package lists... 196s Building dependency tree... 196s Reading state information... 196s rng-tools-debian is already the newest version (2.4). 196s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 196s Reading package lists... 197s Building dependency tree... 197s Reading state information... 197s The following packages will be REMOVED: 197s cloud-init* python3-configobj* python3-debconf* 197s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 197s After this operation, 3256 kB disk space will be freed. 197s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 71864 files and directories currently installed.) 197s Removing cloud-init (24.1.2-0ubuntu1) ... 198s Removing python3-configobj (5.0.8-3) ... 198s Removing python3-debconf (1.5.86) ... 198s Processing triggers for man-db (2.12.0-3) ... 198s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 71475 files and directories currently installed.) 198s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 199s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 199s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 199s invoke-rc.d: policy-rc.d denied execution of try-restart. 199s Reading package lists... 199s Building dependency tree... 199s Reading state information... 200s linux-generic is already the newest version (6.8.0-11.11+1). 200s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 200s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 200s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 200s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 202s Reading package lists... 202s Reading package lists... 203s Building dependency tree... 203s Reading state information... 203s Calculating upgrade... 203s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 203s Reading package lists... 203s Building dependency tree... 203s Reading state information... 204s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 204s autopkgtest [17:42:14]: rebooting testbed after setup commands that affected boot 394s autopkgtest [17:45:24]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP PREEMPT_DYNAMIC Wed Feb 14 00:29:05 UTC 2024 395s autopkgtest [17:45:25]: @@@@@@@@@@@@@@@@@@@@ apt-source qepcad 396s Get:1 http://ftpmaster.internal/ubuntu noble/universe qepcad 1.74+ds-4 (dsc) [2019 B] 396s Get:2 http://ftpmaster.internal/ubuntu noble/universe qepcad 1.74+ds-4 (tar) [255 kB] 396s Get:3 http://ftpmaster.internal/ubuntu noble/universe qepcad 1.74+ds-4 (diff) [26.5 kB] 396s gpgv: Signature made Thu Aug 24 11:11:25 2023 UTC 396s gpgv: using RSA key BA9821C12E07894FB2E4AD0091DC4A779EC5C910 396s gpgv: issuer "dtorrance@debian.org" 396s gpgv: Can't check signature: No public key 396s dpkg-source: warning: cannot verify inline signature for ./qepcad_1.74+ds-4.dsc: no acceptable signature found 396s autopkgtest [17:45:26]: testing package qepcad version 1.74+ds-4 396s autopkgtest [17:45:26]: build not needed 396s autopkgtest [17:45:26]: test command1: preparing testbed 398s Reading package lists... 398s Building dependency tree... 398s Reading state information... 399s Starting pkgProblemResolver with broken count: 0 399s Starting 2 pkgProblemResolver with broken count: 0 399s Done 399s The following additional packages will be installed: 399s libcdd0d libdrm-amdgpu1 libdrm-intel1 libdrm-nouveau2 libdrm-radeon1 399s libflint18 libgf2x3 libgl1 libgl1-mesa-dri libglapi-mesa libglu1-mesa 399s libglut3.12 libglvnd0 libglx-mesa0 libglx0 libgmp-dev libgmpxx4ldbl 399s libllvm17 libntl44 libopengl0 libpciaccess0 libsingular4m3n0 libvulkan1 399s libx11-xcb1 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 399s libxcb-randr0 libxcb-shm0 libxcb-sync1 libxcb-xfixes0 libxfixes3 libxi6 399s libxshmfence1 libxxf86vm1 qepcad singular singular-data singular-modules 399s singular-ui 399s Suggested packages: 399s gmp-doc libgmp10-doc libmpfr-dev singular-doc 399s graphicsmagick-imagemagick-compat | imagemagick 399s Recommended packages: 399s libgl1-amber-dri mesa-vulkan-drivers | vulkan-icd graphviz 4ti2 normaliz 399s surf-alggeo topcom 399s The following NEW packages will be installed: 399s autopkgtest-satdep libcdd0d libdrm-amdgpu1 libdrm-intel1 libdrm-nouveau2 399s libdrm-radeon1 libflint18 libgf2x3 libgl1 libgl1-mesa-dri libglapi-mesa 399s libglu1-mesa libglut3.12 libglvnd0 libglx-mesa0 libglx0 libgmp-dev 399s libgmpxx4ldbl libllvm17 libntl44 libopengl0 libpciaccess0 libsingular4m3n0 399s libvulkan1 libx11-xcb1 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 399s libxcb-present0 libxcb-randr0 libxcb-shm0 libxcb-sync1 libxcb-xfixes0 399s libxfixes3 libxi6 libxshmfence1 libxxf86vm1 qepcad singular singular-data 399s singular-modules singular-ui 400s 0 upgraded, 42 newly installed, 0 to remove and 0 not upgraded. 400s Need to get 50.9 MB/50.9 MB of archives. 400s After this operation, 209 MB of additional disk space will be used. 400s Get:1 /tmp/autopkgtest.aTO4bM/1-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [704 B] 400s Get:2 http://ftpmaster.internal/ubuntu noble/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-2ubuntu4 [9956 B] 400s Get:3 http://ftpmaster.internal/ubuntu noble/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-2ubuntu4 [342 kB] 400s Get:4 http://ftpmaster.internal/ubuntu noble/universe amd64 libcdd0d amd64 094m-1 [118 kB] 400s Get:5 http://ftpmaster.internal/ubuntu noble/main amd64 libdrm-amdgpu1 amd64 2.4.120-2 [20.4 kB] 400s Get:6 http://ftpmaster.internal/ubuntu noble/main amd64 libpciaccess0 amd64 0.17-3 [18.9 kB] 400s Get:7 http://ftpmaster.internal/ubuntu noble/main amd64 libdrm-intel1 amd64 2.4.120-2 [63.8 kB] 400s Get:8 http://ftpmaster.internal/ubuntu noble/main amd64 libdrm-nouveau2 amd64 2.4.120-2 [17.6 kB] 400s Get:9 http://ftpmaster.internal/ubuntu noble/main amd64 libdrm-radeon1 amd64 2.4.120-2 [20.7 kB] 400s Get:10 http://ftpmaster.internal/ubuntu noble/universe amd64 libflint18 amd64 3.0.1-3 [3995 kB] 400s Get:11 http://ftpmaster.internal/ubuntu noble/universe amd64 libgf2x3 amd64 1.3.0-2 [27.9 kB] 400s Get:12 http://ftpmaster.internal/ubuntu noble/main amd64 libvulkan1 amd64 1.3.275.0-1 [142 kB] 400s Get:13 http://ftpmaster.internal/ubuntu noble/main amd64 libglapi-mesa amd64 24.0.1-1ubuntu1 [40.3 kB] 400s Get:14 http://ftpmaster.internal/ubuntu noble/main amd64 libllvm17 amd64 1:17.0.6-5build1 [26.2 MB] 400s Get:15 http://ftpmaster.internal/ubuntu noble/main amd64 libxcb-dri3-0 amd64 1.15-1 [7174 B] 400s Get:16 http://ftpmaster.internal/ubuntu noble/main amd64 libgl1-mesa-dri amd64 24.0.1-1ubuntu1 [8936 kB] 400s Get:17 http://ftpmaster.internal/ubuntu noble/main amd64 libglvnd0 amd64 1.7.0-1 [69.5 kB] 400s Get:18 http://ftpmaster.internal/ubuntu noble/main amd64 libx11-xcb1 amd64 2:1.8.7-1 [7798 B] 400s Get:19 http://ftpmaster.internal/ubuntu noble/main amd64 libxcb-dri2-0 amd64 1.15-1 [7276 B] 400s Get:20 http://ftpmaster.internal/ubuntu noble/main amd64 libxcb-glx0 amd64 1.15-1 [24.6 kB] 400s Get:21 http://ftpmaster.internal/ubuntu noble/main amd64 libxcb-present0 amd64 1.15-1 [5708 B] 400s Get:22 http://ftpmaster.internal/ubuntu noble/main amd64 libxcb-randr0 amd64 1.15-1 [18.1 kB] 400s Get:23 http://ftpmaster.internal/ubuntu noble/main amd64 libxcb-shm0 amd64 1.15-1 [5740 B] 400s Get:24 http://ftpmaster.internal/ubuntu noble/main amd64 libxcb-sync1 amd64 1.15-1 [9358 B] 400s Get:25 http://ftpmaster.internal/ubuntu noble/main amd64 libxcb-xfixes0 amd64 1.15-1 [10.2 kB] 400s Get:26 http://ftpmaster.internal/ubuntu noble/main amd64 libxfixes3 amd64 1:6.0.0-2 [10.9 kB] 400s Get:27 http://ftpmaster.internal/ubuntu noble/main amd64 libxshmfence1 amd64 1.3-1build4 [5394 B] 400s Get:28 http://ftpmaster.internal/ubuntu noble/main amd64 libxxf86vm1 amd64 1:1.1.4-1build3 [10.4 kB] 400s Get:29 http://ftpmaster.internal/ubuntu noble/main amd64 libglx-mesa0 amd64 24.0.1-1ubuntu1 [154 kB] 400s Get:30 http://ftpmaster.internal/ubuntu noble/main amd64 libglx0 amd64 1.7.0-1 [38.7 kB] 400s Get:31 http://ftpmaster.internal/ubuntu noble/main amd64 libgl1 amd64 1.7.0-1 [103 kB] 400s Get:32 http://ftpmaster.internal/ubuntu noble/main amd64 libxi6 amd64 2:1.8.1-1 [32.4 kB] 400s Get:33 http://ftpmaster.internal/ubuntu noble/universe amd64 libglut3.12 amd64 3.4.0-1 [97.9 kB] 400s Get:34 http://ftpmaster.internal/ubuntu noble/universe amd64 libntl44 amd64 11.5.1-1 [838 kB] 400s Get:35 http://ftpmaster.internal/ubuntu noble/universe amd64 libsingular4m3n0 amd64 1:4.3.2-p10+ds-1build1 [3025 kB] 400s Get:36 http://ftpmaster.internal/ubuntu noble/universe amd64 singular-data all 1:4.3.2-p10+ds-1build1 [4846 kB] 400s Get:37 http://ftpmaster.internal/ubuntu noble/universe amd64 singular-ui amd64 1:4.3.2-p10+ds-1build1 [11.3 kB] 400s Get:38 http://ftpmaster.internal/ubuntu noble/universe amd64 singular-modules amd64 1:4.3.2-p10+ds-1build1 [1026 kB] 400s Get:39 http://ftpmaster.internal/ubuntu noble/universe amd64 singular amd64 1:4.3.2-p10+ds-1build1 [5000 B] 400s Get:40 http://ftpmaster.internal/ubuntu noble/main amd64 libopengl0 amd64 1.7.0-1 [33.0 kB] 400s Get:41 http://ftpmaster.internal/ubuntu noble/main amd64 libglu1-mesa amd64 9.0.2-1.1 [151 kB] 400s Get:42 http://ftpmaster.internal/ubuntu noble/universe amd64 qepcad amd64 1.74+ds-4 [472 kB] 400s Fetched 50.9 MB in 1s (94.0 MB/s) 401s Selecting previously unselected package libgmpxx4ldbl:amd64. 401s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 71420 files and directories currently installed.) 401s Preparing to unpack .../00-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu4_amd64.deb ... 401s Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2ubuntu4) ... 401s Selecting previously unselected package libgmp-dev:amd64. 401s Preparing to unpack .../01-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu4_amd64.deb ... 401s Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2ubuntu4) ... 401s Selecting previously unselected package libcdd0d:amd64. 401s Preparing to unpack .../02-libcdd0d_094m-1_amd64.deb ... 401s Unpacking libcdd0d:amd64 (094m-1) ... 401s Selecting previously unselected package libdrm-amdgpu1:amd64. 401s Preparing to unpack .../03-libdrm-amdgpu1_2.4.120-2_amd64.deb ... 401s Unpacking libdrm-amdgpu1:amd64 (2.4.120-2) ... 401s Selecting previously unselected package libpciaccess0:amd64. 401s Preparing to unpack .../04-libpciaccess0_0.17-3_amd64.deb ... 401s Unpacking libpciaccess0:amd64 (0.17-3) ... 401s Selecting previously unselected package libdrm-intel1:amd64. 401s Preparing to unpack .../05-libdrm-intel1_2.4.120-2_amd64.deb ... 401s Unpacking libdrm-intel1:amd64 (2.4.120-2) ... 401s Selecting previously unselected package libdrm-nouveau2:amd64. 401s Preparing to unpack .../06-libdrm-nouveau2_2.4.120-2_amd64.deb ... 401s Unpacking libdrm-nouveau2:amd64 (2.4.120-2) ... 401s Selecting previously unselected package libdrm-radeon1:amd64. 401s Preparing to unpack .../07-libdrm-radeon1_2.4.120-2_amd64.deb ... 401s Unpacking libdrm-radeon1:amd64 (2.4.120-2) ... 401s Selecting previously unselected package libflint18:amd64. 401s Preparing to unpack .../08-libflint18_3.0.1-3_amd64.deb ... 401s Unpacking libflint18:amd64 (3.0.1-3) ... 401s Selecting previously unselected package libgf2x3:amd64. 401s Preparing to unpack .../09-libgf2x3_1.3.0-2_amd64.deb ... 401s Unpacking libgf2x3:amd64 (1.3.0-2) ... 401s Selecting previously unselected package libvulkan1:amd64. 401s Preparing to unpack .../10-libvulkan1_1.3.275.0-1_amd64.deb ... 401s Unpacking libvulkan1:amd64 (1.3.275.0-1) ... 401s Selecting previously unselected package libglapi-mesa:amd64. 401s Preparing to unpack .../11-libglapi-mesa_24.0.1-1ubuntu1_amd64.deb ... 401s Unpacking libglapi-mesa:amd64 (24.0.1-1ubuntu1) ... 401s Selecting previously unselected package libllvm17:amd64. 401s Preparing to unpack .../12-libllvm17_1%3a17.0.6-5build1_amd64.deb ... 401s Unpacking libllvm17:amd64 (1:17.0.6-5build1) ... 402s Selecting previously unselected package libxcb-dri3-0:amd64. 402s Preparing to unpack .../13-libxcb-dri3-0_1.15-1_amd64.deb ... 402s Unpacking libxcb-dri3-0:amd64 (1.15-1) ... 402s Selecting previously unselected package libgl1-mesa-dri:amd64. 402s Preparing to unpack .../14-libgl1-mesa-dri_24.0.1-1ubuntu1_amd64.deb ... 402s Unpacking libgl1-mesa-dri:amd64 (24.0.1-1ubuntu1) ... 402s Selecting previously unselected package libglvnd0:amd64. 402s Preparing to unpack .../15-libglvnd0_1.7.0-1_amd64.deb ... 402s Unpacking libglvnd0:amd64 (1.7.0-1) ... 402s Selecting previously unselected package libx11-xcb1:amd64. 402s Preparing to unpack .../16-libx11-xcb1_2%3a1.8.7-1_amd64.deb ... 402s Unpacking libx11-xcb1:amd64 (2:1.8.7-1) ... 402s Selecting previously unselected package libxcb-dri2-0:amd64. 402s Preparing to unpack .../17-libxcb-dri2-0_1.15-1_amd64.deb ... 402s Unpacking libxcb-dri2-0:amd64 (1.15-1) ... 402s Selecting previously unselected package libxcb-glx0:amd64. 402s Preparing to unpack .../18-libxcb-glx0_1.15-1_amd64.deb ... 402s Unpacking libxcb-glx0:amd64 (1.15-1) ... 402s Selecting previously unselected package libxcb-present0:amd64. 402s Preparing to unpack .../19-libxcb-present0_1.15-1_amd64.deb ... 402s Unpacking libxcb-present0:amd64 (1.15-1) ... 402s Selecting previously unselected package libxcb-randr0:amd64. 402s Preparing to unpack .../20-libxcb-randr0_1.15-1_amd64.deb ... 402s Unpacking libxcb-randr0:amd64 (1.15-1) ... 402s Selecting previously unselected package libxcb-shm0:amd64. 402s Preparing to unpack .../21-libxcb-shm0_1.15-1_amd64.deb ... 402s Unpacking libxcb-shm0:amd64 (1.15-1) ... 402s Selecting previously unselected package libxcb-sync1:amd64. 402s Preparing to unpack .../22-libxcb-sync1_1.15-1_amd64.deb ... 402s Unpacking libxcb-sync1:amd64 (1.15-1) ... 402s Selecting previously unselected package libxcb-xfixes0:amd64. 402s Preparing to unpack .../23-libxcb-xfixes0_1.15-1_amd64.deb ... 402s Unpacking libxcb-xfixes0:amd64 (1.15-1) ... 402s Selecting previously unselected package libxfixes3:amd64. 402s Preparing to unpack .../24-libxfixes3_1%3a6.0.0-2_amd64.deb ... 402s Unpacking libxfixes3:amd64 (1:6.0.0-2) ... 402s Selecting previously unselected package libxshmfence1:amd64. 402s Preparing to unpack .../25-libxshmfence1_1.3-1build4_amd64.deb ... 402s Unpacking libxshmfence1:amd64 (1.3-1build4) ... 402s Selecting previously unselected package libxxf86vm1:amd64. 402s Preparing to unpack .../26-libxxf86vm1_1%3a1.1.4-1build3_amd64.deb ... 402s Unpacking libxxf86vm1:amd64 (1:1.1.4-1build3) ... 402s Selecting previously unselected package libglx-mesa0:amd64. 402s Preparing to unpack .../27-libglx-mesa0_24.0.1-1ubuntu1_amd64.deb ... 402s Unpacking libglx-mesa0:amd64 (24.0.1-1ubuntu1) ... 402s Selecting previously unselected package libglx0:amd64. 402s Preparing to unpack .../28-libglx0_1.7.0-1_amd64.deb ... 402s Unpacking libglx0:amd64 (1.7.0-1) ... 402s Selecting previously unselected package libgl1:amd64. 402s Preparing to unpack .../29-libgl1_1.7.0-1_amd64.deb ... 402s Unpacking libgl1:amd64 (1.7.0-1) ... 402s Selecting previously unselected package libxi6:amd64. 402s Preparing to unpack .../30-libxi6_2%3a1.8.1-1_amd64.deb ... 402s Unpacking libxi6:amd64 (2:1.8.1-1) ... 402s Selecting previously unselected package libglut3.12:amd64. 402s Preparing to unpack .../31-libglut3.12_3.4.0-1_amd64.deb ... 402s Unpacking libglut3.12:amd64 (3.4.0-1) ... 402s Selecting previously unselected package libntl44:amd64. 402s Preparing to unpack .../32-libntl44_11.5.1-1_amd64.deb ... 402s Unpacking libntl44:amd64 (11.5.1-1) ... 402s Selecting previously unselected package libsingular4m3n0:amd64. 402s Preparing to unpack .../33-libsingular4m3n0_1%3a4.3.2-p10+ds-1build1_amd64.deb ... 402s Unpacking libsingular4m3n0:amd64 (1:4.3.2-p10+ds-1build1) ... 402s Selecting previously unselected package singular-data. 402s Preparing to unpack .../34-singular-data_1%3a4.3.2-p10+ds-1build1_all.deb ... 402s Unpacking singular-data (1:4.3.2-p10+ds-1build1) ... 403s Selecting previously unselected package singular-ui. 403s Preparing to unpack .../35-singular-ui_1%3a4.3.2-p10+ds-1build1_amd64.deb ... 403s Unpacking singular-ui (1:4.3.2-p10+ds-1build1) ... 403s Selecting previously unselected package singular-modules:amd64. 403s Preparing to unpack .../36-singular-modules_1%3a4.3.2-p10+ds-1build1_amd64.deb ... 403s Unpacking singular-modules:amd64 (1:4.3.2-p10+ds-1build1) ... 403s Selecting previously unselected package singular:amd64. 403s Preparing to unpack .../37-singular_1%3a4.3.2-p10+ds-1build1_amd64.deb ... 403s Unpacking singular:amd64 (1:4.3.2-p10+ds-1build1) ... 403s Selecting previously unselected package libopengl0:amd64. 403s Preparing to unpack .../38-libopengl0_1.7.0-1_amd64.deb ... 403s Unpacking libopengl0:amd64 (1.7.0-1) ... 403s Selecting previously unselected package libglu1-mesa:amd64. 403s Preparing to unpack .../39-libglu1-mesa_9.0.2-1.1_amd64.deb ... 403s Unpacking libglu1-mesa:amd64 (9.0.2-1.1) ... 403s Selecting previously unselected package qepcad. 403s Preparing to unpack .../40-qepcad_1.74+ds-4_amd64.deb ... 403s Unpacking qepcad (1.74+ds-4) ... 403s Selecting previously unselected package autopkgtest-satdep. 403s Preparing to unpack .../41-1-autopkgtest-satdep.deb ... 403s Unpacking autopkgtest-satdep (0) ... 403s Setting up libxcb-dri3-0:amd64 (1.15-1) ... 403s Setting up libx11-xcb1:amd64 (2:1.8.7-1) ... 403s Setting up libpciaccess0:amd64 (0.17-3) ... 403s Setting up libdrm-nouveau2:amd64 (2.4.120-2) ... 403s Setting up libxcb-xfixes0:amd64 (1.15-1) ... 403s Setting up libxi6:amd64 (2:1.8.1-1) ... 403s Setting up libdrm-radeon1:amd64 (2.4.120-2) ... 403s Setting up libglvnd0:amd64 (1.7.0-1) ... 403s Setting up libgf2x3:amd64 (1.3.0-2) ... 403s Setting up libxcb-glx0:amd64 (1.15-1) ... 403s Setting up libdrm-intel1:amd64 (2.4.120-2) ... 403s Setting up libxcb-shm0:amd64 (1.15-1) ... 403s Setting up libopengl0:amd64 (1.7.0-1) ... 403s Setting up libxxf86vm1:amd64 (1:1.1.4-1build3) ... 403s Setting up libxcb-present0:amd64 (1.15-1) ... 403s Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2ubuntu4) ... 403s Setting up libxfixes3:amd64 (1:6.0.0-2) ... 403s Setting up libxcb-sync1:amd64 (1.15-1) ... 403s Setting up singular-data (1:4.3.2-p10+ds-1build1) ... 403s Setting up libflint18:amd64 (3.0.1-3) ... 403s Setting up libglapi-mesa:amd64 (24.0.1-1ubuntu1) ... 403s Setting up libvulkan1:amd64 (1.3.275.0-1) ... 403s Setting up libxcb-dri2-0:amd64 (1.15-1) ... 403s Setting up libntl44:amd64 (11.5.1-1) ... 403s Setting up libxshmfence1:amd64 (1.3-1build4) ... 403s Setting up libxcb-randr0:amd64 (1.15-1) ... 403s Setting up libglu1-mesa:amd64 (9.0.2-1.1) ... 403s Setting up libllvm17:amd64 (1:17.0.6-5build1) ... 403s Setting up libdrm-amdgpu1:amd64 (2.4.120-2) ... 403s Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2ubuntu4) ... 403s Setting up libcdd0d:amd64 (094m-1) ... 403s Setting up libgl1-mesa-dri:amd64 (24.0.1-1ubuntu1) ... 403s Setting up libsingular4m3n0:amd64 (1:4.3.2-p10+ds-1build1) ... 403s Setting up singular-ui (1:4.3.2-p10+ds-1build1) ... 403s Setting up libglx-mesa0:amd64 (24.0.1-1ubuntu1) ... 403s Setting up libglx0:amd64 (1.7.0-1) ... 403s Setting up singular-modules:amd64 (1:4.3.2-p10+ds-1build1) ... 403s Setting up libgl1:amd64 (1.7.0-1) ... 403s Setting up singular:amd64 (1:4.3.2-p10+ds-1build1) ... 403s Setting up libglut3.12:amd64 (3.4.0-1) ... 403s Setting up qepcad (1.74+ds-4) ... 403s Setting up autopkgtest-satdep (0) ... 403s Processing triggers for man-db (2.12.0-3) ... 403s Processing triggers for libc-bin (2.39-0ubuntu6) ... 412s (Reading database ... 72023 files and directories currently installed.) 412s Removing autopkgtest-satdep (0) ... 413s autopkgtest [17:45:43]: test command1: qepcad < debian/tests/positive-semidefinite && qepcad < debian/tests/triangles && qepcad < debian/tests/anai && qepcad < debian/tests/edge-square-product && qepcad < debian/tests/quartic && qepcad < debian/tests/hong-liska-steinberg && cad2d < debian/tests/cad2d 413s autopkgtest [17:45:43]: test command1: [----------------------- 413s ======================================================= 413s Quantifier Elimination 413s in 413s Elementary Algebra and Geometry 413s by 413s Partial Cylindrical Algebraic Decomposition 413s 413s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 413s 413s by 413s Hoon Hong 413s (hhong@math.ncsu.edu) 413s 413s With contributions by: Christopher W. Brown, George E. 413s Collins, Mark J. Encarnacion, Jeremy R. Johnson 413s Werner Krandick, Richard Liska, Scott McCallum, 413s Nicolas Robidoux, and Stanly Steinberg 413s ======================================================= 413s Enter an informal description between '[' and ']': 413s [ Computes the "not" of "is p positive semidefinite?" ]Enter a variable list: 413s (w,z,x,y)Enter the number of free variables: 413s 0 413s Enter a prenex formula: 413s (F w)(F z)(F x)(F y)[ 413s w^6 + 2 z^2 w^3 + x^4 + y^4 + z^4 + 2 x^2 w + 413s 2 x^2 z + 3 x^2 + w^2 + 2 z w + z^2 + 2 z + 2 w + 1 < 0 413s ]. 413s 413s ======================================================= 413s 413s Before Normalization > 413s finish 413s 413s An equivalent quantifier-free formula: 413s 413s FALSE 413s 413s 413s ===================== The End ======================= 413s 413s ----------------------------------------------------------------------------- 413s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 413s 364766 Cells in AVAIL, 500000 Cells in SPACE. 413s 413s System time: 0 milliseconds. 413s System time after the initialization: 0 milliseconds. 413s ----------------------------------------------------------------------------- 413s ======================================================= 413s Quantifier Elimination 413s in 413s Elementary Algebra and Geometry 413s by 413s Partial Cylindrical Algebraic Decomposition 413s 413s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 413s 413s by 413s Hoon Hong 413s (hhong@math.ncsu.edu) 413s 413s With contributions by: Christopher W. Brown, George E. 413s Collins, Mark J. Encarnacion, Jeremy R. Johnson 413s Werner Krandick, Richard Liska, Scott McCallum, 413s Nicolas Robidoux, and Stanly Steinberg 413s ======================================================= 413s Enter an informal description between '[' and ']': 413s [ Charaterizing triangles with external bisectors ]Enter a variable list: 413s (c,b,a)Enter the number of free variables: 413s 3 413s Enter a prenex formula: 413s [ b^2 + a^2 - c^2 <= 0 \/ c (b^2 + a^2 - c^2)^2 < a b^2 (2 a c - (c^2 + a^2 - b^2)) ]. 413s 413s ======================================================= 413s 413s Before Normalization > 413s assume [ a > 0 /\ b > 0 /\ c > 0 /\ a < b + c /\ b < a + c /\ c < a + b ] 413s Before Normalization > 413s finish 413s 413s An equivalent quantifier-free formula: 413s 413s a - c < 0 413s 413s 413s ===================== The End ======================= 413s 413s ----------------------------------------------------------------------------- 413s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 413s 456295 Cells in AVAIL, 500000 Cells in SPACE. 413s 413s System time: 5 milliseconds. 413s System time after the initialization: 3 milliseconds. 413s ----------------------------------------------------------------------------- 413s ======================================================= 413s Quantifier Elimination 413s in 413s Elementary Algebra and Geometry 413s by 413s Partial Cylindrical Algebraic Decomposition 413s 413s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 413s 413s by 413s Hoon Hong 413s (hhong@math.ncsu.edu) 413s 413s With contributions by: Christopher W. Brown, George E. 413s Collins, Mark J. Encarnacion, Jeremy R. Johnson 413s Werner Krandick, Richard Liska, Scott McCallum, 413s Nicolas Robidoux, and Stanly Steinberg 413s ======================================================= 413s Enter an informal description between '[' and ']': 413s [ Anai's Problem ]Enter a variable list: 413s (s,z)Enter the number of free variables: 413s 2 413s Enter a prenex formula: 413s [ 413s [s z + s - 1 >= 0 /\ s = 0 /\ z + 1 >= 0] 413s \/ [s z + s >= 0 /\ s = 0 /\ z = 0] \/ 413s [s^2 + 4 s z >= 0 /\ [[ 413s s^2 - 2 s <= 0 /\ s z + s - 1 <= 0 /\ s = 0 /\ [ 413s s^2 + 3 s z - s - 2 z <= 0 413s \/ [s + z - 1 <= 0 /\ [s z + s - 1 = 0 \/ 413s z = 0]]] /\ [s + 2 z >= 0 \/ z = 0]] \/ 413s [s^2 - 2 s <= 0 /\ s + 2 z >= 0 /\ s = 0 /\ [ 413s [s^2 + 3 s z - s - 2 z <= 0 /\ [s z + s - 1 <= 0 413s \/ z = 0]] \/ [s + z - 1 >= 0 /\ 413s [s z + s - 1 >= 0 \/ z = 0]]]]]] \/ 413s [s = 0 /\ z >= 0] 413s ]. 413s 413s ======================================================= 413s 413s Before Normalization > 413s finish 413s 413s An equivalent quantifier-free formula: 413s 413s s = 0 /\ z >= 0 413s 413s 413s ===================== The End ======================= 413s 413s ----------------------------------------------------------------------------- 413s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 413s 475605 Cells in AVAIL, 500000 Cells in SPACE. 413s 413s System time: 4 milliseconds. 413s System time after the initialization: 2 milliseconds. 413s ----------------------------------------------------------------------------- 413s ======================================================= 413s Quantifier Elimination 413s in 413s Elementary Algebra and Geometry 413s by 413s Partial Cylindrical Algebraic Decomposition 413s 413s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 413s 413s by 413s Hoon Hong 413s (hhong@math.ncsu.edu) 413s 413s With contributions by: Christopher W. Brown, George E. 413s Collins, Mark J. Encarnacion, Jeremy R. Johnson 413s Werner Krandick, Richard Liska, Scott McCallum, 413s Nicolas Robidoux, and Stanly Steinberg 413s ======================================================= 413s Enter an informal description between '[' and ']': 413s [ 413s Edge-square product problem with equational constaints 413s ]Enter a variable list: 413s (x,y,x1,x2)Enter the number of free variables: 413s 2 413s Enter a prenex formula: 413s (E x1)(E x2)[ 413s y = x1 (x1 x2 - x) + x2 /\ 413s 0 <= x1 /\ x1 <= 2 /\ 413s 2 <= x2 /\ x2 <= 4 /\ 413s -1 <= (x1 x2 - x) /\ (x1 x2 - x) <= 1 413s ]. 413s 413s ======================================================= 413s 413s Before Normalization > 413s prop-eqn-const 413s 413s Before Normalization > 413s go 413s 413s Before Projection (x2) > 413s d-level-f 4 413s A_4,1 = input 413s = x1^2 x2 + x2 - x x1 - y 413s A_4,2 = input 413s = x2 - 2 413s A_4,3 = input 413s = x2 - 4 413s A_4,4 = input 413s = x1 x2 - x + 1 413s A_4,5 = input 413s = x1 x2 - x - 1 413s 413s 413s Before Projection (x2) > 413s eqn-const-l (A_4,1) 413s Before Projection (x2) > 413s finish 415s 415s An equivalent quantifier-free formula: 415s 415s x + 1 >= 0 /\ 8 y + x^2 - 16 >= 0 /\ y + 2 x - 20 <= 0 /\ 2 y - x + 5 >= 0 /\ 4 y - x - 17 <= 0 /\ [ 2 y + x - 5 >= 0 \/ y - 2 >= 0 \/ [ x - 1 >= 0 /\ x - 2 < 0 ] \/ [ x - 1 < 0 /\ x > 0 ] ] 415s 415s 415s ===================== The End ======================= 415s 415s ----------------------------------------------------------------------------- 415s 128 Garbage collections, 51927655 Cells and 51 Arrays reclaimed, in 442 milliseconds. 415s 103551 Cells in AVAIL, 500000 Cells in SPACE. 415s 415s System time: 1934 milliseconds. 415s System time after the initialization: 1933 milliseconds. 415s ----------------------------------------------------------------------------- 415s ======================================================= 415s Quantifier Elimination 415s in 415s Elementary Algebra and Geometry 415s by 415s Partial Cylindrical Algebraic Decomposition 415s 415s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 415s 415s by 415s Hoon Hong 415s (hhong@math.ncsu.edu) 415s 415s With contributions by: Christopher W. Brown, George E. 415s Collins, Mark J. Encarnacion, Jeremy R. Johnson 415s Werner Krandick, Richard Liska, Scott McCallum, 415s Nicolas Robidoux, and Stanly Steinberg 415s ======================================================= 415s Enter an informal description between '[' and ']': 415s [ The positive-definite quartic problem ]Enter a variable list: 415s (a,b,c,d,x)Enter the number of free variables: 415s 4 415s Enter a prenex formula: 415s (Ax)[ x^4 + a x^3 + b x^2 + c x + d > 0 ]. 415s 415s ======================================================= 415s 415s Before Normalization > 415s go 415s 415s Before Projection (x) > 415s go 415s 415s Before Choice > 415s go 415s 415s Before Solution > 415s pdq 415s CAD is not projection definable. 415s 415s Before Solution > 415s sol E 415s An equivalent quantifier-free formula: 415s 415s d > _root_1 256 d^3 - 192 a c d^2 - 128 b^2 d^2 + 144 a^2 b d^2 - 27 a^4 d^2 + 144 b c^2 d - 6 a^2 c^2 d - 80 a b^2 c d + 18 a^3 b c d + 16 b^4 d - 4 a^2 b^3 d - 27 c^4 + 18 a b c^3 - 4 a^3 c^3 - 4 b^3 c^2 + a^2 b^2 c^2 /\ [ 108 c^2 - 108 a b c + 27 a^3 c + 32 b^3 - 9 a^2 b^2 > 0 \/ d > _root_-1 256 d^3 - 192 a c d^2 - 128 b^2 d^2 + 144 a^2 b d^2 - 27 a^4 d^2 + 144 b c^2 d - 6 a^2 c^2 d - 80 a b^2 c d + 18 a^3 b c d + 16 b^4 d - 4 a^2 b^3 d - 27 c^4 + 18 a b c^3 - 4 a^3 c^3 - 4 b^3 c^2 + a^2 b^2 c^2 ] 415s 415s 415s Before Solution > 415s sol T 415s An equivalent quantifier-free formula: 415s 415s 256 d^3 - 192 a c d^2 - 128 b^2 d^2 + 144 a^2 b d^2 - 27 a^4 d^2 + 144 b c^2 d - 6 a^2 c^2 d - 80 a b^2 c d + 18 a^3 b c d + 16 b^4 d - 4 a^2 b^3 d - 27 c^4 + 18 a b c^3 - 4 a^3 c^3 - 4 b^3 c^2 + a^2 b^2 c^2 >= 0 /\ [ [ 108 c^2 - 108 a b c + 27 a^3 c + 32 b^3 - 9 a^2 b^2 > 0 /\ 384 d^2 - 192 a c d - 128 b^2 d + 144 a^2 b d - 27 a^4 d + 72 b c^2 - 3 a^2 c^2 - 40 a b^2 c + 9 a^3 b c + 8 b^4 - 2 a^2 b^3 = 0 ] \/ [ 256 d^3 - 192 a c d^2 - 128 b^2 d^2 + 144 a^2 b d^2 - 27 a^4 d^2 + 144 b c^2 d - 6 a^2 c^2 d - 80 a b^2 c d + 18 a^3 b c d + 16 b^4 d - 4 a^2 b^3 d - 27 c^4 + 18 a b c^3 - 4 a^3 c^3 - 4 b^3 c^2 + a^2 b^2 c^2 > 0 /\ 384 d^2 - 192 a c d - 128 b^2 d + 144 a^2 b d - 27 a^4 d + 72 b c^2 - 3 a^2 c^2 - 40 a b^2 c + 9 a^3 b c + 8 b^4 - 2 a^2 b^3 > 0 /\ 768 d - 192 a c - 128 b^2 + 144 a^2 b - 27 a^4 > 0 ] \/ [ 108 c^2 - 108 a b c + 27 a^3 c + 32 b^3 - 9 a^2 b^2 > 0 /\ 256 d^3 - 192 a c d^2 - 128 b^2 d^2 + 144 a^2 b d^2 - 27 a^4 d^2 + 144 b c^2 d - 6 a^2 c^2 d - 80 a b^2 c d + 18 a^3 b c d + 16 b^4 d - 4 a^2 b^3 d - 27 c^4 + 18 a b c^3 - 4 a^3 c^3 - 4 b^3 c^2 + a^2 b^2 c^2 > 0 ] ] 415s 415s 415s Before Solution > 415s quit 415s Quitting the QEPCAD system... Bye! 415s ======================================================= 415s Quantifier Elimination 415s in 415s Elementary Algebra and Geometry 415s by 415s Partial Cylindrical Algebraic Decomposition 415s 415s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 415s 415s by 415s Hoon Hong 415s (hhong@math.ncsu.edu) 415s 415s With contributions by: Christopher W. Brown, George E. 415s Collins, Mark J. Encarnacion, Jeremy R. Johnson 415s Werner Krandick, Richard Liska, Scott McCallum, 415s Nicolas Robidoux, and Stanly Steinberg 415s ======================================================= 415s Enter an informal description between '[' and ']': 415s [ Example 5.14 from Hong, Liska, Steinberg, 415s "Testing Stability by Quantifier Elimination" 415s Journal of Symbolic Computation, Vol. 24, No. 2, 415s August 1997. The "G" quatifier means "for all but 415s finitely many". ]Enter a variable list: 415s (a,b,c2)Enter the number of free variables: 415s 0 415s Enter a prenex formula: 415s (G a)(G b)(G c2)[ 415s [ 0 <= a /\ a <= 1 /\ 0 <= b /\ b <= 1 ] 415s ==> 415s [ 415s c2^4 (a - b + 1) ( a - b - 1) (a - b)^2 <= 0 415s /\ 415s c2^4 b^2 (b^2 - 1) + 4 c2^3 a b^2 (b - 1) 415s + 2 c2^2 a b (3 a b - 2 a - 2 b + 1) 415s + 4 c2 a^2 b (a - 1) + a^2 (a^2 - 1) <= 0 415s /\ 415s [ 415s c2^2 ( 8 a^2 b^2 - 12 a^2 b + 5 a^2 - 8 a b^3 + 8 a b^2 415s + 2 a b - 4 a + 4 b^4 - 4 b^3 - 3 b^2 + 4 b ) 415s + 2 c2 ( 4 a^3 b - 2 a^3 - 4 a^2 b^2 - 2 a^2 b + a^2 415s + 4 a b^3 - 2 a b^2 + 2 a b - 2 b^3 + b^2 ) 415s + 4 a^4 - 8 a^3 b - 4 a^3 + 8 a^2 b^2 + 8 a^2 b - 3 a^2 415s - 12 a b^2 + 2 a b + 4 a + 5 b^2 - 4 b <= 0 415s \/ 415s 2 c2^4 b ( 3 a^2 b - 2 a^2 - 2 a b^2 + a + b^3 - b) 415s + 4 c2^3 a b ( a^2 - a + b^2 - b) 415s + 2 c2^2 a ( a^3 - 2 a^2b + 3 a b^2 - a - 2 b^2 + b ) <= 0 415s ] 415s ] 415s ]. 415s 415s ======================================================= 415s 415s Before Normalization > 415s finish 415s 415s An equivalent quantifier-free formula: 415s 415s TRUE 415s 415s 415s ===================== The End ======================= 415s 415s ----------------------------------------------------------------------------- 415s 3 Garbage collections, 1429323 Cells and 0 Arrays reclaimed, in 8 milliseconds. 415s 121667 Cells in AVAIL, 500000 Cells in SPACE. 415s 415s System time: 67 milliseconds. 415s System time after the initialization: 65 milliseconds. 415s ----------------------------------------------------------------------------- 415s ======================================================= 415s CAD2D - A Program for producing CADs of R^2 415s 415s Based on QEPCAD Version B 1.74, Feb 25 2021, by Hoon Hong 415s with contributions by: Christopher W. Brown, George E. 415s Collins, Mark J. Encarnacion, Jeremy R. Johnson 415s Werner Krandick, Richard Liska, Scott McCallum, 415s Nicolas Robiduex, and Stanly Steinberg 415s ======================================================= 415s Enter an informal description between '[' and ']': 415s [ An interesting CAD of R^2 to plot ]Enter a variable list: 415s (x,y)Enter the number of free variables: 415s 2 415s Enter a prenex formula: 415s [ (x^2 + y^2)^4 - 7 x^6 y + 35 x^4 y^3 - 21 x^2 y^5 + 415s y^7 <= 0 /\ 2 y < x^2 + 1 ]. 415s 415s ======================================================= 418s 418s Before Solution > 418s p-2d-cad 418s Before Solution > 418s quit 418s Quitting the QEPCAD system... Bye! 419s autopkgtest [17:45:49]: test command1: -----------------------] 419s autopkgtest [17:45:49]: test command1: - - - - - - - - - - results - - - - - - - - - - 419s command1 PASS 419s autopkgtest [17:45:49]: @@@@@@@@@@@@@@@@@@@@ summary 419s command1 PASS 429s Creating nova instance adt-noble-amd64-qepcad-20240323-173850-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-amd64-server-20240323.img (UUID 5df8a563-0957-4fdd-8453-862df650aaf8)...